The Resource Using model checking to generate tests from specifications, Paul E. Ammann, Paul E. Black, William Majurski, (microform)

Using model checking to generate tests from specifications, Paul E. Ammann, Paul E. Black, William Majurski, (microform)

Label
Using model checking to generate tests from specifications
Title
Using model checking to generate tests from specifications
Statement of responsibility
Paul E. Ammann, Paul E. Black, William Majurski
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Ammann, Paul
Government publication
federal national government publication
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Black, Paul E
  • Majurski, William
  • National Institute of Standards and Technology (U.S.)
Series statement
NISTIR
Series volume
6166
http://library.link/vocab/subjectName
Computer software
Label
Using model checking to generate tests from specifications, Paul E. Ammann, Paul E. Black, William Majurski, (microform)
Instantiates
Publication
Note
  • Shipping list no.: 99-0688-M
  • "November 1998."
Base of film
safety base undetermined
Bibliography note
Includes bibliographical references (pages [8]-[9])
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
41993716
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
9 unnumbered pages
Form of item
microfiche
Generation
service copy
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
Other physical details
illustrations
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
Label
Using model checking to generate tests from specifications, Paul E. Ammann, Paul E. Black, William Majurski, (microform)
Publication
Note
  • Shipping list no.: 99-0688-M
  • "November 1998."
Base of film
safety base undetermined
Bibliography note
Includes bibliographical references (pages [8]-[9])
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
41993716
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
9 unnumbered pages
Form of item
microfiche
Generation
service copy
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
Other physical details
illustrations
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...