Analyzing tabular and state-transition requirements specifications in PVS

An edition of Analyzing tabular and state-transition requirements specifications in PVS (1997)

Analyzing tabular and state-transition requirements specifications in PVS

By Sam Owre

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1997

Publisher

National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor

Language

eng

Pages

1-1 of 1 Editions

Analyzing tabular and state-transition requirements specifications in PVS

Language: eng

Published In: 1997

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