Formal Methods and Models for System Design: A System Level Perspective

by Paul Le Guernic, Jean-Pierre Talpin, Rajesh Gupta

Book Overview

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1441954643
• ISBN13: 9781441954640
• Release Date: December 2011
• Publisher: Springer
• Length: 372 Pages
• Weight: 1.18 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"