Searching for "Experience with Formal Methods in Critical Systems." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Jonathan P. Bowen, Michael G. Hinchey
- …) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 367 Experience with Formal Methods in Critical Systems (Gerhart, Craigen & Ralston…
- Add To MetaCart
-
High-Integrity System Specification
- …) . . . . ................................367 Experience with Formal Methods in Critical Systems (Gerhart, Craigen & Ralston…
- Add To MetaCart
-
Constraint Graphs: A Concept Map Meta-Language
- …. Gerhart, S., Craigen, D. & Ralston, T. 1994. Experiences with Formal Methods in Critical Systems. IEEE…
- Cited by 6 (2 self) – Add To MetaCart
Showing 1 through 3.
