Experiences using lightweight formal methods for requirements modeling

An edition of Experiences using lightweight formal methods for requirements modeling (1997)

Experiences using lightweight formal methods for requirements modeling

By S. M. Easterbrook

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1997

Publisher

National Aeronautics and Space Administration,National Technical Information Service, distributor

Language

eng

Pages

Description:

subjects: Fault detection, Formalism, Fault tolerance, Software engineering, Computer aided design