Nicolas Navet – författare
Visar alla böcker från författaren Nicolas Navet. Handla med fri frakt och snabb leverans.
6 produkter
Modeling and Verification of Real-time Systems
Formalisms and Software Tools
Av Stephan Merz, Nicolas Navet
E-bok, 2010
3454 kr
Lägg i varukorg
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 guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and …
Automotive Embedded Systems Handbook
Av Nicolas Navet, Francoise Simonot-Lion
Inbunden, 2008
3431 kr
Lägg i varukorg
A Clear Outline of Current Methods for Designing and Implementing Automotive SystemsHighlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents …
Automotive Embedded Systems Handbook
Av Francoise Simonot-Lion, Nicolas Navet
E-bok, 2017
3982 kr
Lägg i varukorg
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 comprehensive overview of existing and future automotive electronic systems. It presents …
Modeling and Verification of Real-time Systems
Formalisms and Software Tools
Av Stephan Merz, Nicolas Navet
E-bok, 2013
3454 kr
Lägg i varukorg
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 guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and …
Automotive Embedded Systems Handbook
Av Francoise Simonot-Lion, Nicolas Navet
E-bok, 2017
3982 kr
Lägg i varukorg
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 comprehensive overview of existing and future automotive electronic systems. It presents …
Modeling and Verification of Real-time Systems
Formalisms and Software Tools
Av Nicolas Navet, Stephan Merz
Inbunden, 2008
3120 kr
Lägg i varukorg
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 guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and …
