COMBINING PROBABILISTIC AND DETERMINISTIC VERIFICATION EFFORTS
- 1 January 1992
- book chapter
- Published by Elsevier BV
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- The Formal Verification of Safety-critical Assembly CodeIFAC Proceedings Volumes, 1988