( en | de | ru )

 

Disambiguation of "Tretmans, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
Quantitative system validation in model driven design.

, , , and . EMSOFT, page 301-302. ACM, (2010)

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

Testing Transition Systems: An Annotated Bibliography, and . (2001)On Asynchronous Testing., , , and . Protocol Test Systems, volume C-11 of IFIP Transactions, page 55-66. North-Holland, (1992)On-the-fly Conformance Testing using SPIN., and . Int. J. Softw. Tools Technol. Transf., 2 (4): 382-393 (2000)Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability.. MMB, page 99-100. VDE Verlag, (2006)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)Model-Based Testing of Industrial Transformational Systems., , and . ICTSS, volume 7019 of Lecture Notes in Computer Science, page 131-145. Springer, (2011)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)