Tretmans, Gerrit Jan (1962-)
| rdfs:label | "Tretmans, Gerrit Jan (1962-)" |
| schema:name | "Gerrit Jan Tretmans" |
|
schema:family |
"Tretmans" |
|
schema:given |
"Gerrit Jan" |
|
schema:birth |
"1962" |
|
schema:same |
<https:/ |
|
<http:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:contributor → Tretmans, Gerrit Jan (1962-)
A case study in formal methods : specification and validation of the OM/RR protocol / Tim Willemse, Jan Tretmans, and Arjen Klompschema:ProductModel
A framework for test selection / Ed Brinksma, Jan Tretmans, Louis Verhaardschema:ProductModel
Action refinement in conformance testing / Machiel van der Bijl, Arend Rensink, Jan Tretmansschema:ProductModel
Action refinement in conformance testing / Machiel van der Bijl, Arend Rensink, Jan Tretmansschema:ProductModel
Action refinement in testing with UIOCO / M. van der Bijl, A. Rensink, J. Tretmansschema:ProductModel
Action refinement in testing with UIOCO / M. van der Bijl, A. Rensink, J. Tretmansschema:ProductModel
Component based testing with IOCO / M. van der Bijl, A. Rensink, J. Tretmansschema:ProductModel
Situation awareness with systems of systems / Piërre van de Laar, Jan Tretmans, Michael Borth ; editorsschema:ProductModel
Situation awareness with systems of systems / Piërre van de Laar, Jan Tretmans, Michael Borth edsschema:ProductModel
Tangram: model-based integration and testing of complex high-tech systems : a collaborative research project for multi-disciplinary design of high-tech systems / ed.: Jan Tretmansschema:ProductModel
Tangram: model-based integration and testing of complex high-tech systems : a collaborative research project on multidisciplinary integration and testing of embedded systems / ed.: Jan Tretmansschema:ProductModel
[ .. ] → schema:author → Tretmans, Gerrit Jan (1962-)
A formal approach to conformance testing / Gerrit Jan Tretmansschema:ProductModel
A formal approach to conformance testing / Gerrit Jan Tretmansschema:ProductModel
A Queue model relating synchronous and asynchronous communication / Jan Tretmans, Louis Verhaardschema:ProductModel
Automatic testing with formal methods / J. Tretmans en A. Belinfanteschema:ProductModel
Protocol conformance testing: a formal perspective on ISO IS-9646 / Jan Tretmans, Pim Kars, Ed Brinksmaschema:ProductModel
Test generation with inputs, outputs and repetitive quiescence / J. Tretmansschema:ProductModel
Testing labelled transitons systems with inputs and outputs / Jan Tretmansschema:ProductModel