Formal Hardware Verification

BOOK

Year: 1997 Lecture notes in computer science Publisher: Springer Science+Business Media

DOI: 10.1007/3-540-63475-4

Keywords:

Computer science Computer hardware Programming language Embedded system

Metrics

Cited By

1.31

FWCI (Field Weighted Citation Impact)

Refs

0.83

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Embedded Systems Design Techniques

Physical Sciences → Computer Science → Hardware and Architecture

Real-Time Systems Scheduling

Physical Sciences → Computer Science → Hardware and Architecture