Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Elsevier

9780815513629
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Methodology

1995 ◽  
pp. 14-20
Author(s):  
Dan Craigen ◽  
Susan Gerhart ◽  
Ted Ralston

Case Summary

1995 ◽  
pp. 8-13
Author(s):  
Dan Craigen ◽  
Susan Gerhart ◽  
Ted Ralston
Keyword(s):  
Case Summary

Formal Methods

1995 ◽  
pp. 3-7 ◽  
Author(s):  
Dan Craigen ◽  
Susan Gerhart ◽  
Ted Ralston
Keyword(s):  
Formal Methods
Load More ...
Sign in / Sign up

Export Citation Format

Share Document