Join Books.org — it's free

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.
Readers discussing Modeling and Verification of Real-time Systems — questions, passages they’re puzzling over, and what to read next. Log in to read full threads and join in.

Start a discussion about this book

No discussions about this book yet.

Be the first — share a question, a passage, or a thought about Modeling and Verification of Real-time Systems.