4 works on record
Embedded systems and software validation
2009
Theoretical Aspects of Computing – ICTAC 2012
Theoretical Aspects of Computing - ICTAC 2012
Time-Predictable Embedded Software on Multi-Core Platforms