( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Trust-preserving Continuous Co-evolution of Digital Twins.

, , , , , , , , , и . ICSA Companion, стр. 96-99. IEEE, (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.

Angelo Jotzoff

Angelo Jotzoff

Angelo Schmandra

Angelo Geissen

Angelo Brayner

 

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

Model-Driven Language Engineering: The ASMETA Case Study., , и . ICSEA, стр. 373-378. IEEE Computer Society, (2008)Automated Verification of Continuous Time Systems by Discrete Temporal Induction., и . TIME, стр. 19-26. IEEE Computer Society, (2006)A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection., , , , и . IEA/AIE, том 11606 из Lecture Notes in Computer Science, стр. 207-215. Springer, (2019)A Logic-Based Approach to Combinatorial Testing with Constraints., и . TAP, том 4966 из Lecture Notes in Computer Science, стр. 66-83. Springer, (2008)IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays., и . ICST Workshops, стр. 10-18. IEEE Computer Society, (2009)Validation of Models and Tests for Constrained Combinatorial Interaction Testing., , и . ICST Workshops, стр. 98-107. IEEE Computer Society, (2014)AURORA: AUtomatic RObustness coveRage Analysis Tool., , и . ICST, стр. 463-470. IEEE Computer Society, (2013)Using Model Checking to Generate Tests from Requirements Specifications., и . ESEC / SIGSOFT FSE, том 1687 из Lecture Notes in Computer Science, стр. 146-162. Springer, (1999)formal MVC: A Pattern for the Integration of ASM Specifications in UI Development., , и . ABZ, том 14010 из Lecture Notes in Computer Science, стр. 340-357. Springer, (2023)Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino., , , и . NFM, том 10227 из Lecture Notes in Computer Science, стр. 295-301. (2017)