BOOK-CHAPTER
Hardware/Software Co-Verification
Year: 2005 Elsevier eBooks Pages: 119-163 Publisher: Elsevier BV
Keywords:
Software verification Avionics software Computer science Software Software construction Verification and validation Embedded system Embedded software Software development Process (computing) Computer hardware Software engineering Computer architecture Operating system Engineering
Metrics
7
Cited By
1.88
FWCI (Field Weighted Citation Impact)
0
Refs
0.87
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Embedded Systems Design Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Radiation Effects in Electronics
Physical Sciences → Engineering → Electrical and Electronic Engineering
Safety Systems Engineering in Autonomy
Physical Sciences → Engineering → Safety, Risk, Reliability and Quality
Related Documents
BOOK-CHAPTER
Hardware/Software Co-verification
Kluwer Academic Publishers eBooks Year: 2005 Pages: 235-315
JOURNAL ARTICLE
Hardware/software formal co-verification using hardware verification techniques
Year: 2012 Vol: 58 Pages: 465-470