Formal methods for verification and validation of partial specifications

An edition of Formal methods for verification and validation of partial specifications (1997)

Formal methods for verification and validation of partial specifications

a case study

By Steve Easterbrook

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1997

Publisher

West Virginia University,National Aeronautics and Space Administration,National Technical Information Service, distributor

Language

eng

Pages

Description:

subjects: Computer programs, Fault detection, Program verification (Computers), Safety, Software development tools, Specifications