Research Catalog

Analyzing tabular and state-transition requirements specifications in PVS

Title: Analyzing tabular and state-transition requirements specifications in PVS [microform] / Sam Owre, John Rushby, and Natarajan Shankar.
Author: Owre, Sam.
Publication: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]

Details

Additional Authors

Description

1 v.

Series Statement

NASA contractor report ; 201729

Uniform Title

NASA contractor report ; NASA CR-201729.

Alternative Title

Analyzing tabular and state transition requirements specifications in PVS

Subject

Note

Shipping list no.: 98-0848-M.

Reproduction (note)

Microfiche.

Call Number

READEX Microfiche NAS 1.26:201729

OCLC

marcive40133592

Author

Owre, Sam.

Title

Analyzing tabular and state-transition requirements specifications in PVS [microform] / Sam Owre, John Rushby, and Natarajan Shankar.

Imprint

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1997]

Series

NASA contractor report ; 201729

NASA contractor report ; NASA CR-201729.

Reproduction

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1997] 1 microfiche.

Added Author

Rushby, John, 1949-

Shankar, N.

Langley Research Center.

Gpo Item No.

0830-H-14 (MF)

Sudoc No.

NAS 1.26:201729

Research Call Number

READEX Microfiche NAS 1.26:201729

View in Legacy Catalog