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

by: Kim G. Larsen · Jan Tretmans · Brian Nielsen Hardcover details (USA). ISBN: 978-94-007-1368-0 ISBN-10: 94-007-1368-1 Springer · 2015