|
Verhandlungstechnik. : Saner, Raymond.
|
2012
|
1
|
|
verifiability : Parkinson, G. H. R.
|
1968
|
1
|
|
verification : Parkinson, G. H. R.
|
1968
|
1
|
|
verification and systems development closure : Grady, Jeffrey O.,
|
2007
|
1
|
|
Verification of infinite-state systems with applications to security [electronic resource] : NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security
|
2006
|
1
|
|
verification requirements : Grady, Jeffrey O.,
|
2007
|
1
|
|
Verification techniques for system-level design : Fujita, Masahiro,
|
2008
|
1
|
|
The verifiers : Pek, Jane,
|
2022
|
1
|
|
Verify : Charbonneau, Joelle.
|
2019
|
1
|
|
Verify MesoNAM performance [electronic resource] : Bauman, William H.
|
2010
|
1
|
|
Verify North American Mesoscale model performance : Bauman, William H.
|
2010
|
1
|
|
verifying addresses : Watson, David
|
2013
|
1
|
|
verifying assumptions : Privitera, Mary Beth,
|
2015
|
1
|
|
verifying informal requirements : Voirin, Jean-Luc,
|
2018
|
1
|
|
verifying model requirements : Voirin, Jean-Luc,
|
2018
|
1
|