Modeling and Verification of Real-Time SystemsNicolas Navet

Modeling and Verification of Real-Time Systems

Nicolas Navet, Stephan Merz · 2013

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2013
Language: English
Publisher: Wiley & Sons, Incorporated, John
Editions: 3
Pages: 448
ISBN: 9781118623954

Data source: Wikidata

More by Nicolas Navet

Automotive embedded systems handbookNicolas Navet

Automotive embedded systems handbook

Nicolas Navet · 2008

Modeling and verification of real-time systemsNicolas Navet

Modeling and verification of real-time systems

Nicolas Navet · 2008

Automotive Embedded Systems Handbook. Industrial Information Technology SeriesNicolas Navet

Automotive Embedded Systems Handbook. Industrial Information Technology Series

Nicolas Navet · 2009