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.
4 Ebooks por Claude Jard
Claude Jard & Olivier Roux: Communicating Embedded Systems
The increased complexity of embedded systems coupled with quick
design cycles to accommodate faster time-to-market requires
increased system design productivity that involves both model-based …
EPUB
Inglês
DRM
€139.99
Claude Jard & Olivier Roux: Communicating Embedded Systems
The increased complexity of embedded systems coupled with quick
design cycles to accommodate faster time-to-market requires
increased system design productivity that involves both model-based …
PDF
Inglês
DRM
€139.99
Franck Cassez & Claude Jard: Modeling and Verification of Parallel Processes
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad …
PDF
Inglês
DRM
€43.21
Franck Cassez & Claude Jard: Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 …
PDF
Inglês
DRM
€57.14
