Item Details

Using Model Checking to Generate Tests From Specifications [microform]

Paul E. Ammann, Paul E. Black, William Majurski
Format
Book; Government Document; Microform
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [1998]
Language
English
Series
NISTIR
SuDoc Number
C 13.58:6166
Description
[9] p. : ill.
Notes
  • Shipping list no.: 99-0688-M.
  • "November 1998."
  • Includes bibliographical references (p. [8]-[9]).
Reproduction Notes
Microfiche. [Washington, D.C.] : Supt. of Docs., U.S. G.P.O., [1999] 1 microfiche : negative.
Series Statement
NISTIR ; 6166
Technical Details
  • Access in Virgo Classic

  • LEADER 01380nam a2200385 a 4500
    001 u2933800
    003 SIRSI
    005 19990802091819.0
    007 he bmb024bbca
    008 990802s1998 mdua bb f000 0 eng d
    035
      
      
    a| (Sirsi) tmp97153552
    035
      
      
    a| (OCoLC)41993716
    040
      
      
    a| GPO c| GPO d| DLC d| MvI
    049
      
      
    a| VAMM
    074
      
      
    a| 0247-D (MF)
    086
    0
      
    a| C 13.58:6166
    100
    1
      
    a| Ammann, Paul, d| 1961-
    245
    1
    0
    a| Using model checking to generate tests from specifications h| [microform] / c| Paul E. Ammann, Paul E. Black, William Majurski.
    260
      
      
    a| Gaithersburg, MD : b| U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, c| [1998]
    300
      
      
    a| [9] p. : b| ill.
    440
      
    0
    a| NISTIR ; v| 6166
    500
      
      
    a| Shipping list no.: 99-0688-M.
    500
      
      
    a| "November 1998."
    504
      
      
    a| Includes bibliographical references (p. [8]-[9]).
    533
      
      
    a| Microfiche. b| [Washington, D.C.] : c| Supt. of Docs., U.S. G.P.O., d| [1999] e| 1 microfiche : negative.
    596
      
      
    a| 2
    650
      
    0
    a| Computer software x| Testing.
    700
    1
      
    a| Black, Paul E.
    700
    1
      
    a| Majurski, William.
    710
    2
      
    a| National Institute of Standards and Technology (U.S.)
    900
      
      
    a| tmp97153552
    999
      
      
    a| C 13.58:6166 w| SUDOC i| X005054563 l| 3EAST m| ALDERMAN t| MICROFICHE

Availability

Google Preview

Library Location Map Availability Call Number
Alderman 3rd Floor East Reading Room N/A Available Non-Circ.