acm sigbed
|
emsoft
|
participants
Amir Pnueli
Program Committees:
2003
.
EMSOFT 2002: 2nd International Workshop on Embedded Software
Embedded Systems: Challenges in Specification and Verification
Amir Pnueli
10.1007/3-540-45828-X_1