ISBN 9400713681 books & textbook

Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project

Kim G. Larsen Jan Tretmans Brian Nielsen

Springer /2015-01-29 Hardcover / 260 Pages
isbn-10: 9400713681 / isbn-13: 9789400713680