Take a photo of a barcode or cover
—
Haibo Zeng, Marco Di Natale, Alberto Sangiovanni-Vincentelli, Peter Marwedel
223 pages • missing pub info (view editions)
ISBN/UID: 9781461438786
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub 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 (view editions)
ISBN/UID: 9781461438786
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub 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