by Alberto Sangiovanni - Vincentelli (Editor), HaiboZeng (Editor), Marco Di Natale (Editor)
Bridging the gaps between the disciplines of model-based design, real-time analysis and model-driven development, this book demonstrates techniques for modeling, verifying and validating the behavior and performance of complex distributed embedded systems.
Format: Hardcover
Pages: 232
Edition: 2014
Publisher: Springer
Published: 19 Jul 2013
ISBN 10: 1461438780
ISBN 13: 9781461438786