Communicating Embedded Systems: Software and DesignISBN: 978-1-84821-143-8
Hardcover
288 pages
December 2009, Wiley-ISTE
|
Claude Jard is full professor at ENS Cachan Campus of Ker-Lann. His research works relate to the formal analysis of asynchronous parallel systems.
Olivier H. Roux is an Assistant Professor at Nantes University and his research focusses on validation and verification of embedded systems, real-time and hybrid systems.