J. Tretmans
发表
Jan Tretmans,
J. Tretmans,
1993,
Protocol Test Systems.
Jan Tretmans,
J. Tretmans,
1996,
Softw. Concepts Tools.
F. Vaandrager,
J. Tretmans,
Ramon Janssen,
2019
.
J. Tretmans,
L. Heerink,
2013
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
J. Tretmans,
Carsten Rütz,
J. Schmaltz,
2010
.
Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
2007
.
Jan Tretmans,
Ed Brinksma,
Louis Verhaard,
1992,
Protocol Test Systems.
Jaco van de Pol,
Jeroen Voeten,
Bart D. Theelen,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Jan Tretmans,
J. Tretmans,
2008,
Formal Methods and Testing.
Jan Tretmans,
J. Tretmans,
1996,
Comput. Networks ISDN Syst..
Lex Heerink,
Jan Tretmans,
J. Tretmans,
1996
.
Jan Tretmans,
J. Tretmans,
2017,
ModelEd, TestEd, TrustEd.
Jan Tretmans,
J. Tretmans,
2004
.
Jan Tretmans,
Ed Brinksma,
E. Brinksma,
2000,
MOVEP.
Jan Tretmans,
René G. de Vries,
J. Tretmans,
2000,
International Journal on Software Tools for Technology Transfer.
Jan Tretmans,
J. Tretmans,
1999,
CONCUR.
Lex Heerink,
Jan Tretmans,
Ed Brinksma,
1998,
IWTCS.
Lex Heerink,
Jan Tretmans,
J. Tretmans,
1997,
FORTE.
Jan Tretmans,
J. Tretmans,
1997,
FBT.
Jan Tretmans,
Michele Volpato,
J. Tretmans,
2013,
JAMAICA 2013.
Theo C. Ruys,
Joost-Pieter Katoen,
Pedro R. D'Argenio,
1997,
TACAS.
Jan Tretmans,
Michele Volpato,
J. Tretmans,
2014,
ISoLA.
Arend Rensink,
Jan Tretmans,
Machiel van der Bijl,
2005,
TestCom.
Andrea Polini,
Antonia Bertolino,
Jan Tretmans,
2004,
Architecting Systems with Trustworthy Components.
Jan Tretmans,
J. Tretmans,
2006,
Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen.
Jan Tretmans,
J. Tretmans,
1996,
TACAS.
Jan Tretmans,
Ed Brinksma,
Louis Verhaard,
1991,
PSTV.
Jan Tretmans,
J. Tretmans,
2011,
SFM.
J. Tretmans,
S. Mauw,
N. Goga,
2002,
TestCom.
Marinus J. Plasmeijer,
Jan Tretmans,
Pieter W. M. Koopman,
2002,
IFL.
Yves Le Traon,
Bruno Legeard,
Henry Muccini,
2010,
Practical Software Testing: Tool Automation and Human Factors.
Jan Tretmans,
Petra van den Bos,
J. Tretmans,
2019,
TAP@FM.
Jan Tretmans,
Tim A. C. Willemse,
Lars Frantzen,
2004,
FATES.
Julien Schmaltz,
Jan Tretmans,
J. Tretmans,
2010
.
Jan Tretmans,
Tim A. C. Willemse,
Lars Frantzen,
2006,
FATES/RV.
Jan Tretmans,
Petur Olsen,
Johan Foederer,
2011,
ICTSS.
David Rayner,
J. Tretmans,
2001
.
Jan Tretmans,
Ramon Janssen,
J. Tretmans,
2019,
SAC.
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System
Michel R. V. Chaudron,
Jan Tretmans,
Klaas Wijbrans,
1999,
World Congress on Formal Methods.
Frits W. Vaandrager,
Sicco Verwer,
Jan Tretmans,
2014,
Machine Learning.
Jan Tretmans,
Ed Brinksma,
E. Brinksma,
2003
.
Hendrik Brinksma,
G. J. Tretmans,
E. Brinksma,
2002
.
Kim G. Larsen,
Axel Legay,
Holger Hermanns,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Jaco van de Pol,
Jeroen Voeten,
Bart D. Theelen,
2010,
ISoLA.
Dieter Hogrefe,
Jan Tretmans,
Stefan Heymer,
1996
.
P. V. D. Laar,
J. Tretmans,
M. Borth,
2013,
Situation Awareness with Systems of Systems.
Michel R. V. Chaudron,
Jan Tretmans,
Klaas Wijbrans,
2001,
Formal Methods Syst. Des..
J. Tretmans,
A. Belinfante,
1999
.
Jan Tretmans,
Axel Belinfante,
J. Tretmans,
1999
.
Petra van den Bos,
A. Rensink,
J. Tretmans,
2022
.