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 E-böcker av 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 design …
EPUB
Engelska
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 design …
PDF
Engelska
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 subjec …
PDF
Engelska
DRM
€43.51
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 r …
PDF
Engelska
DRM
€57.57
