( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Unified and Formal Programming Model for Deltas and Traits.

, , , и . FASE, том 10202 из Lecture Notes in Computer Science, стр. 424-441. Springer, (2017)

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.

Eduard Pohl

Eduard Quellhorst

Eduard Hagen

Eduard Herlt

Eduard Vollmering

 

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

Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability., и . F-IDE@FM, том 310 из EPTCS, стр. 70-85. (2019)Designing Distributed Control with Hybrid Active Objects., , , и . ISoLA (4), том 12479 из Lecture Notes in Computer Science, стр. 88-108. Springer, (2020)Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins., , , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 188-204. Springer, (2022)From post-conditions to post-region invariants: deductive verification of hybrid objects.. HSCC, стр. 9:1-9:11. ACM, (2021)Stateful Behavioral Types for ABS., и . CoRR, (2018)Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects., , , и . CoRR, (2019)Formal modeling and analysis of railway operations with active objects., , и . Sci. Comput. Program., (2018)Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification., , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 3-21. Springer, (2020)A Hoare Logic for Domain Specification (Full Version)., и . CoRR, (2024)Emerging Challenges in Compositionality and Correctness for Digital Twins., , , , , , и . FMDT@FM, том 3507 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)