J. Tretmans

发表

Jan Tretmans, J. Tretmans, 1993, Protocol Test Systems.

Jan Tretmans, J. Tretmans, 1996, Softw. Concepts Tools.

J. Tretmans, Carsten Rütz, J. Schmaltz, 2010 .

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.

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.

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.

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.

P. V. D. Laar, J. Tretmans, M. Borth, 2013, Situation Awareness with Systems of Systems.

J. Tretmans, A. Belinfante, 1999 .

Jan Tretmans, Axel Belinfante, J. Tretmans, 1999 .