Use the controls in the window below to browse, scroll, or search inside this book.
E-book

Modeling and Verification of Real-time Systems: Formalisms and Software Tools

Nicolas Navet (Editor), Stephan Merz (Editor)
ISBN: 978-1-118-62395-4
E-book
448 pages
Wiley-ISTE
This product is not currently available for purchase from this website.
For customer care, special sales, or to find your rep, please visit our Contact Us page.