Searching for "An International Survey of Industrial Applications of Formal Methods." – sorted by Relevance.
-
An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach
- NISTGCR 93/626 An International Survey of Industrial Applications of Formal Methods Volume 1
- Cited by 94 (2 self) – Add To MetaCart
-
Constraint Graphs: A Concept Map Meta-Language
- . International Survey of Industrial Applications of Formal Methods, U.S. National Institute of Standards
- Cited by 6 (2 self) – Add To MetaCart
-
Formal methods: Promises and problems
- of their recent industrial applications, see "An International Survey of Industrial Applications of Formal Methods
- Cited by 6 (0 self) – Add To MetaCart
-
Final Monthly Status Report
- of Industrial Applications of Formal Methods" [CrGeRa93], which contains much valuable information but is dated
- Add To MetaCart

