( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper).

, , и . CoRR, (2022)

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.

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)
 

Другие публикации лиц с тем же именем

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