acm sigbed
|
emsoft
|
participants
John M. Rushby
Program Committees:
2002
.
EMSOFT 2011: 11th International Conference on Embedded Software
New Challenges in Certification for Aircraft Software
John M. Rushby
10.1145/2038642.2038675
EMSOFT 2001: 1st International Workshop on Embedded Software
Bus Architectures for Safety-Critical Embedded Systems
John M. Rushby
10.1007/3-540-45449-7_22
http://www.csl.sri.com/papers/emsoft01/emsoft01.pdf