Embedded Systems Development From Functional Models to Implementations |
|
| Editor:
| Sangiovanni-Vincentelli, Alberto
Zeng, Haibo
Di Natale, Marco
Marwedel, Peter |
| Series title: | Embedded Systems Ser. |
| ISBN: | 978-1-4939-0120-3 |
| Publication Date: | Aug 2015 |
| Publisher: | Springer New York
|
| Imprint: | Springer |
| Book Format: | Paperback |
| List Price: | USD $119.99 |
Book Description:
|
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.
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.