Take a photo of a barcode or cover
—
Haibo Zeng, Marco Di Natale, Alberto Sangiovanni-Vincentelli, Peter Marwedel
223 pages • missing pub info (editions)
ISBN/UID: 9781461438786
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, re...
Community Reviews
Content Warnings
—
Haibo Zeng, Marco Di Natale, Alberto Sangiovanni-Vincentelli, Peter Marwedel
223 pages • missing pub info (editions)
ISBN/UID: 9781461438786
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, re...
Community Reviews
Content Warnings