Formal Methods and Models for System Design A System Level Perspective

Formal Methods and Models for System Design A System Level Perspective / edited by Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin.

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gupta, Rajesh (Editor), Le Guernic, Paul (Editor), Shukla, Sandeep Kumar (Editor), Talpin, Jean-Pierre (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2004.
Edition:1st ed. 2004.
Series:Springer eBook Collection.
Subjects:
Computers.
Control engineering.
Electronic circuits.
Artificial intelligence.
Computer-aided engineering.
Electrical engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items