( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Verification of Executable UML Models.

, , , , , и . FMCO, том 6957 из Lecture Notes in Computer Science, стр. 225-250. Springer, (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.

Silvia De Pol

Jaco Vangronsveld

Hartmut Jaco

Klaus Jaco

Johanna Pol

 

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

Simulated Time for Testing Railway Interlockings with TTCN-3., , , , и . FATES, том 3997 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2005)Accelerated Modal Abstractions of Labelled Transition Systems., и . AMAST, том 4019 из Lecture Notes in Computer Science, стр. 338-352. Springer, (2006)A Bounded Retransmission Protocol for Large Data Packets., и . AMAST, том 1101 из Lecture Notes in Computer Science, стр. 536-550. Springer, (1996)Formal Specification of JavaSpaces Architecture Using µCRL., и . COORDINATION, том 2315 из Lecture Notes in Computer Science, стр. 274-290. Springer, (2002)Bug Hunting with False Negatives., , , и . IFM, том 4591 из Lecture Notes in Computer Science, стр. 98-117. Springer, (2007)Sound black-box checking in the LearnLib., и . Innov. Syst. Softw. Eng., 15 (3-4): 267-287 (2019)Sylvan: multi-core framework for decision diagrams., и . Int. J. Softw. Tools Technol. Transf., 19 (6): 675-696 (2017)Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges., , и . Int. J. Softw. Tools Technol. Transf., 16 (5): 481-491 (2014)Simulation as a Correct Transformation of Rewrite Systems., и . MFCS, том 1295 из Lecture Notes in Computer Science, стр. 249-258. Springer, (1997)Computing Weakest Strategies for Safety Games of Imperfect Information., и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 92-106. Springer, (2009)