( en | de | ru )

 

Disambiguation of "Tretmans, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
Testing of Software and Communicating Systems: : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 2007, Proceedings

, , , and (Eds.) Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (2009)

Tsai-Yu Jansen

Einfluss der Konversion laparoskopischer Operationen auf Tumorwachstum, hepatische Metastasierung und Tumorangiogenese. Uni Heidelberg, (2010)

Matthäus Janczyk

Synthese funktionalisierter Trinukleotide und ihre Anwendung bei der Randomisierung. Uni Greifswald, (2009)

Christoph Janello

Wertschöpfung im digitalisierten Buchmarkt. Uni München, (2010)

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)
 

Other publications of authors with the same name

On Asynchronous Testing., , , and . Protocol Test Systems, volume C-11 of IFIP Transactions, page 55-66. North-Holland, (1992)Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability.. MMB, page 99-100. VDE Verlag, (2006)On-the-fly Conformance Testing using SPIN., and . Int. J. Softw. Tools Technol. Transf., 2 (4): 382-393 (2000)Model-Based Testing of Industrial Transformational Systems., , and . ICTSS, volume 7019 of Lecture Notes in Computer Science, page 131-145. Springer, (2011)Approximate Active Learning of Nondeterministic Input Output Transition Systems., and . ECEASST, (2015)Testing Transition Systems: An Annotated Bibliography, and . (2001)Test Generation Based on Symbolic Specifications., , and . FATES, volume 3395 of Lecture Notes in Computer Science, page 1-15. Springer, (2004)Audition of Web Services for Testing Conformance to Open Specified Protocols., , , and . Architecting Systems with Trustworthy Components, volume 3938 of Lecture Notes in Computer Science, page 1-25. Springer, (2004)A Symbolic Framework for Model-Based Testing., , and . FATES/RV, volume 4262 of Lecture Notes in Computer Science, page 40-54. Springer, (2006)Active Learning of Nondeterministic Systems from an ioco Perspective., and . ISoLA (1), volume 8802 of Lecture Notes in Computer Science, page 220-235. Springer, (2014)