Design and Verification of Microprocessor Systems for High-Assurance Applications

Design and Verification of Microprocessor Systems for High-Assurance Applications Edited by: David S. Hardin This book examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels -...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hardin, David S. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Temas:
Electronic circuits.
Computer-aided engineering.
Security systems.
Electronic Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Security Science and Technology.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares