Join Books.org — it's free
Home > Books > Modeling and Verification of Real-time Systems

Science - General & Miscellaneous, Theories of Science
Modeling and Verification of Real-time Systems by Nicolas Navet — book cover

Modeling and Verification of Real-time Systems

by Nicolas Navet (Editor), Stephan Merz (Editor)
Write a review
Log in to track your reading progress.

No ratings yet.

Log in to write a review.

Show only reviews of this edition

There are no reviews yet.