Wow! eBook
Communicating Embedded Systems: Software and Design (ISTE): Software and Design: Formal Methods
Author(s): JARD (Author)
- Publisher: Wiley-ISTE
- Publication Date: 6 November 2009
- Edition: 1st
- Language: English
- Print length: 288 pages
- ISBN-10: 1848211430
- ISBN-13: 9781848211438
Book Description
COMMUNICATING EMBEDDED SYSTEMS FOR COMPUTER SCIENCE 9781848211438 JARD JOHN WILEY (ORIGINAL) NEW BOOK
Editorial Reviews
Review
Select Guide Rating
About the Author
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.
