( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A systematic literature review on counterexample explanation - Summary.

, , , и . Software Engineering, том P-332 из LNI, стр. 71-72. Gesellschaft für Informatik e.V., (2023)

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 Vogel

Thomas Vogel

Thomas Vogel

Thomas Vogel

Thomas Vögel

 

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

Adsorption of polymers at nanowires., и . Comput. Phys. Commun., 182 (9): 1928-1931 (2011)A systematic literature review on counterexample explanation., , , и . Inf. Softw. Technol., (2022)Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, , , , , , , , , и 32 other автор(ы). Software Engineering for Self-Adaptive Systems II, том 7475 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2013)Molecular Dynamics in the Multicanonical Ensemble: Equivalence of Wang–Landau Sampling, Statistical Temperature Molecular Dynamics, and Metadynamics, , и . Journal of Chemical Theory and Computation, 10 (5): 1843-1847 (мая 2014)Runtime Verification of Self-Adaptive Systems with Changing Requirements., , , и . Software Engineering, том P-343 из LNI, стр. 151-152. Gesellschaft für Informatik e.V., (2024)Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems., , , , , , , , и . Software Engineering for Self-Adaptive Systems, том 9640 из Lecture Notes in Computer Science, стр. 64-89. Springer, (2013)A learning approach to enhance assurances for real-time self-adaptive systems., , , , и . SEAMS@ICSE, стр. 206-216. ACM, (2018)Counterexample Interpretation for Contract-Based Design., , , и . IMBSA, том 12297 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2020)Micro-controllers: Promoting Structurally Flexible Controllers in Self-Aware Computing Systems., , , и . ACSOS Companion, стр. 188-193. IEEE, (2020)Bet and Run for Test Case Generation., , и . SSBSE, том 12420 из Lecture Notes in Computer Science, стр. 204-219. Springer, (2020)