( en | de | ru )

 

Disambiguation of "Weigert, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Insertion Modeling and Symbolic Verification of Large Systems.

, , , and . SDL Forum, volume 9369 of Lecture Notes in Computer Science, page 3-18. Springer, (2015)

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.

Thomas Weigert

Thomas Weigert

Norbert Weigert

Martin Weigert

Ulrich Weigert

 

Other publications of authors with the same name

Insertion Modeling and Symbolic Verification of Large Systems., , , and . SDL Forum, volume 9369 of Lecture Notes in Computer Science, page 3-18. Springer, (2015)Exploring optimization and caching for efficient collection operations., , , and . Autom. Softw. Eng., 21 (1): 3-40 (2014)Introduction to UML and the Modeling of Embedded Systems., , and . Embedded Systems Handbook, CRC Press, (2005)System Validation., , , and . Embedded Systems Handbook, CRC Press, (2005)Verifiable Coverage Criteria for Automated Testing., , and . SDL Forum, volume 7083 of Lecture Notes in Computer Science, page 79-89. Springer, (2011)Generating Test Suites to Validate Legacy Systems., , , , , , , , and . SAM, volume 11753 of Lecture Notes in Computer Science, page 3-23. Springer, (2019)Performance Improvement for Collection Operations Using Join Query Optimization., , and . COMPSAC, page 668-673. IEEE Computer Society, (2011)Feature Interactions in Aspect-Oriented Scenario Models., , , and . ICFI, page 75-90. IOS Press, (2009)Structural Modeling with UML 2.0., , and . UML for Real, Kluwer, (2003)Exploring Compile Time Caching of Explicit Queries in Programming Codes., , and . SRDS, page 477-478. IEEE Computer Society, (2012)