Formal Methods and Models for System Design
A System Level Perspective
Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conc…
Mehr
CHF 265.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
V210:
Noch nicht erschienen, Januar 2022
Produktdetails
Weitere Autoren: Le Guernic, Paul (Hrsg.) / Shukla, Sandeep Kumar (Hrsg.) / Talpin, Jean-Pierre (Hrsg.)
- ISBN: 978-1-4020-8052-4
- EAN: 9781402080524
- Produktnummer: 38251653
- Verlag: Springer US
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 372 S.
- Plattform: PDF
- Auflage: 2004
2 weitere Werke von Rajesh (Hrsg.) Gupta:
Bewertungen
Anmelden