Design and Verification of Microprocessor Systems for High-Assurance Applications

Design and Verification of Microprocessor Systems for High-Assurance Applications

Show other versions (1)
Bibliographic Details
Main Author: Hardin, David S
Corporate Author: SpringerLink (Online service)
Format: Electronic Kit Book
Language:English
Published: Boston, MA Springer Science+Business Media, LLC 2010
Subjects:
Engineering
Computer aided design
System safety
Systems engineering
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Quality Control, Reliability, Safety and Risk
Online Access:http://dx.doi.org/10.1007/978-1-4419-1539-9
Description
Physical Description:v.: digital
ISBN:9781441915399

Similar Items