Fingerprint
Dive into the research topics of 'Using PVS to analyze hierarchical state-based requirements for completeness and consistency'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Using PVS to analyze hierarchical state-based requirements for completeness and consistency
Mats Heimdahl, Barbara J. Czerny
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
9
Scopus
citations