( en | de | ru )

 

Disambiguation of "Tretmans, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
On-the-fly Conformance Testing using SPIN.

, and . Int. J. Softw. Tools Technol. Transf., 2 (4): 382-393 (2000)

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.

Tsai-Yu Jansen

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

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (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)

Matthäus Janczyk

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

Other publications of authors with the same name

On-the-fly Conformance Testing using SPIN., and . Int. J. Softw. Tools Technol. Transf., 2 (4): 382-393 (2000)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)Testing Transition Systems: An Annotated Bibliography, and . (2001)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)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)