Jump to main content

yr 〜
yr

Search results 5

Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding (NISTIR ; 6777)

Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding (NISTIR ; 6777)
Microform図書
2002<YCA-C 13.58:6777>
National Diet Library
  • Author HeadingBlack, Paul E Ammann, Paul Ding, Wei, 1967 ...

Abstracting formal specifications to generate software tests via model checking [microform] / Paul E. Ammann, Paul E. Black (NISTIR ; 6405)

Abstracting formal specifications to generate software tests via model checking [microform] / Paul E. Ammann, Paul E. Black (NISTIR ; 6405)
Microform図書
1999<YCA-C 13.58:6405>
National Diet Library
  • Author HeadingAmmann, Paul E Black, Paul E National Institute of Standar...

A specification-based coverage metric to evaluate test sets [microform] / Paul E. Ammann, Paul E. Black (NISTIR ; 6403)

A specification-based coverage metric to evaluate test sets [microform] / Paul E. Ammann, Paul E. Black (NISTIR ; 6403)
Microform図書
1999<YCA-C 13.58:6403>
National Diet Library
  • Author HeadingAmmann, Paul E Black, Paul E National Institute of Standar...

Using model checking to generate tests from specifications [microform] / Paul E. Ammann, Paul E. Black, William Majurski (NISTIR ; 6166)

Using model checking to generate tests from specifications [microform] / Paul E. Ammann, Paul E. Black, William Majurski (NISTIR ; 6166)
Microform図書
1998<YCA-C 13.58:6166>
National Diet Library
  • Author HeadingAmmann, Paul E Black, Paul E Majurski, William National In...

Axiomatic semantics verification of a secure web server

Axiomatic semantics verification of a secure web server
Paper図書
by Paul E. BlackUMIc1998
Other Libraries in Japan
  • Author HeadingBlack, Paul E.

Reached to the end of result.

RSS