Nicolas Navet

Automotive embedded systems handbook

Modeling and verification of real-time systems

Modeling and Verification of Real-Time Systems

Automotive Embedded Systems Handbook. Industrial Information Technology Series