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

1-1 of 1 Editions

Experiences using lightweight formal methods for requirements modeling

Language: eng

Published In: 1997

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