Formal methods for verification and validation of partial specifications
An edition of Formal methods for verification and validation of partial specifications (1997)
a case study
By Steve Easterbrook
Publish Date
1997
Publisher
West Virginia University,National Aeronautics and Space Administration,National Technical Information Service, distributor
Language
eng
Pages
-
1-3 of 3 Editions
Formal methods for verification and validation of partial specifications
Language: eng
Published In: 1997
Publisher: West Virginia University, National Aeronautics and Space Administration, National Technical Information Service, distributor
Formal methods for verification and validation of partial specifications
Language: eng
Published In: 1997
Publisher: West Virginia University, National Aeronautics and Space Administration, National Technical Information Service, distributor
Formal methods for verification and validation of partial specifications
Language: eng
Published In: 1997
Publisher: West Virginia University, National Aeronautics and Space Administration, National Technical Information Service, distributor