本文に飛ぶ

年 〜
年

検索結果 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)
マイクロ図書
2002<YCA-C 13.58:6777>
国立国会図書館
  • 著者標目Black, 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)
マイクロ図書
1999<YCA-C 13.58:6405>
国立国会図書館
  • 著者標目Ammann, 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)
マイクロ図書
1999<YCA-C 13.58:6403>
国立国会図書館
  • 著者標目Ammann, 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)
マイクロ図書
1998<YCA-C 13.58:6166>
国立国会図書館
  • 著者標目Ammann, 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
紙図書
by Paul E. BlackUMIc1998
全国の図書館
  • 著者標目Black, Paul E.

検索結果は以上です。

RSS