Stephan Merz is a researcher at INRIA Lorraine (Nancy,
France). He is interested in formal methods for the analysis and
construction of reliable software systems, in particular temporal
logic, refinement, and the automated and interactive verification
of distributed systems.
Nicolas Navet is a researcher in Real-Time Systems at
INRIA Lorraine (Nancy, France). His research interests include
real-time scheduling, probalistic modeling and computational
intelligence, with applications to automotive embedded systems and
financial engineering.
4 Ebooks de Nicolas Navet
Nicolas Navet & Stephan Merz: Modeling and Verification of Real-time Systems
This title is devoted to presenting some of the most important
concepts and techniques for describing real-time systems and
analyzing their behavior in order to enable the designer to achieve …
PDF
Engleză
DRM
€215.99
Nicolas Navet & Stephan Merz: Modeling and Verification of Real-time Systems
This title is devoted to presenting some of the most important
concepts and techniques for describing real-time systems and
analyzing their behavior in order to enable the designer to achieve …
EPUB
Engleză
DRM
€215.99
Nicolas Navet & Francoise Simonot-Lion: Automotive Embedded Systems Handbook
A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a …
PDF
Engleză
DRM
€243.86
Nicolas Navet & Francoise Simonot-Lion: Automotive Embedded Systems Handbook
A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a …
EPUB
Engleză
DRM
€242.90
