Rigorous System Design |
|
Author:
| Sifakis, Joseph |
Series title: | Foundations and Trends in Electronic Design Automation Ser. |
ISBN: | 978-1-60198-660-3 |
Publication Date: | Apr 2013 |
Publisher: | Now Publishers
|
Book Format: | Paperback |
List Price: | USD $60.00 |
Book Description:
|
Deals with the formalization of the design of mixed hardware/software systems. It advocates rigorous system design as a model-based process leading from requirements to correct implementations and presents the current state of the art in system design, discusses its limitations and identifies possible avenues for overcoming them.
Deals with the formalization of the design of mixed hardware/software systems. It advocates rigorous system design as a model-based process leading from requirements to correct implementations and presents the current state of the art in system design, discusses its limitations and identifies possible avenues for overcoming them.