( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Leveraging UML to Deliver Correct Telecom Applications.

, , , , и . UML for Real, Kluwer, (2003)

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.

Thomas Weigert

Thomas Weigert

Philipp Weigert

Gerald Weigert

Manfred Weigert

 

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

Introduction to UML and the Modeling of Embedded Systems., , и . Embedded Systems Handbook, CRC Press, (2005)Insertion Modeling and Symbolic Verification of Large Systems., , , и . SDL Forum, том 9369 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2015)Generating Test Suites to Validate Legacy Systems., , , , , , , , и . SAM, том 11753 из Lecture Notes in Computer Science, стр. 3-23. Springer, (2019)Verifiable Coverage Criteria for Automated Testing., , и . SDL Forum, том 7083 из Lecture Notes in Computer Science, стр. 79-89. Springer, (2011)Performance Improvement for Collection Operations Using Join Query Optimization., , и . COMPSAC, стр. 668-673. IEEE Computer Society, (2011)Semantics of Message Sequence Charts., , , , , и . SDL Forum, том 3530 из Lecture Notes in Computer Science, стр. 117-132. Springer, (2005)Automated Code Generation for Industrial-Strength Systems., , , , и . COMPSAC, стр. 464-472. IEEE Computer Society, (2008)Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution., , , и . COMPSAC, стр. 407-412. IEEE Computer Society, (2010)Architecture composition for concurrent systems., , и . NEMARA@AOSD, стр. 17-22. ACM, (2012)Modular reasoning about region composition., , и . FOAL, стр. 15-20. ACM, (2012)