1
Published 2006
Table of Contents: ...Invited Talk -- The Embedded Systems Design Challenge -- Interactive Verification -- The Mondex...
View full text
Electronic eBook