Hardin, David S.
Design and Verification of Microprocessor Systems for High-Assurance Applications [electronic resource] / edited by David S. Hardin. - Boston, MA : Springer US, 2010. - digital.
9781441915399
10.1007/978-1-4419-1539-9 doi
Engineering.
Computer aided design.
System safety.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Quality Control, Reliability, Safety and Risk.
TK7888.4
621.3815
Design and Verification of Microprocessor Systems for High-Assurance Applications [electronic resource] / edited by David S. Hardin. - Boston, MA : Springer US, 2010. - digital.
9781441915399
10.1007/978-1-4419-1539-9 doi
Engineering.
Computer aided design.
System safety.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Quality Control, Reliability, Safety and Risk.
TK7888.4
621.3815