Home
Research Trends
Papers list
Open Access Journals
All Journals
Search in Journals
Contact us
Model checking: a hardware design perspective
Article Properties
DOI (url)
10.1007/s100090050036
Publication Date
1999/11/01
Journal
International Journal on Software Tools for Technology Transfer
Indian UGC (journal)
Carl
Pixley
Vigyan
Singhal
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
A New Approach to Abstract Syntax with Variable Binding
Soundness of workflow nets: classification, decidability, and analysis
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
Synthesis of opaque systems with static and dynamic masks
Robust online monitoring of signal temporal logic