( en | de | ru )

 

Disambiguierung von "Utting, Mark"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Practical Model-Based Testing: A Tools Approach

, und . Morgan Kaufmann, 1 Edition, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael Utting

Friedrich Utting

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)

Mark Yampolskiy

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Controlling test case explosion in test generation from B formal models., , und . Softw. Test. Verification Reliab., 14 (2): 81-103 (2004)Teaching formal methods lite via testing., und . Softw. Test. Verification Reliab., 11 (3): 181-195 (2001)How to Design Extended Finite State Machine Test Models in Java.. Model-Based Testing for Embedded Systems, CRC Press, (2011)Dynamic agent composition for large-scale agent-based models., , und . Complex Adapt. Syst. Model., (2015)Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)., , und . CoRR, (2022)MODAM: A modular agent-based modelling framework., , und . SE4SG@ICSE, Seite 33-40. IEEE Computer Society, (2013)Making Whiley Boogie!, , und . IFM, Volume 10510 von Lecture Notes in Computer Science, Seite 69-84. Springer, (2017)A taxonomy of model-based testing, , und . (2006)Automated Boundary Testing from Z and B., , und . FME, Volume 2391 von Lecture Notes in Computer Science, Seite 21-40. Springer, (2002)Parallel ABM for Electricity Distribution Grids: A Case Study., , und . Euro-Par Workshops, Volume 8374 von Lecture Notes in Computer Science, Seite 565-574. Springer, (2013)