( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.

, , и . ICGT, том 12150 из Lecture Notes in Computer Science, стр. 257-275. Springer, (2020)

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.

Holger Giese

Armin Giese

Alma Giese

Steffen Giese

Simone Giese

 

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

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions., , и . ICGT, том 12150 из Lecture Notes in Computer Science, стр. 257-275. Springer, (2020)On the complex nature of MDE evolution and its impact on changeability., и . Softw. Syst. Model., 16 (2): 333-356 (2017)Software Engineering for Self-Adaptive Systems, , , , , , , , и . Software Engineering for Self-Adaptive Systems, том 5525 из Lecture Notes in Computer Science, глава Engineering Self-Adaptive Systems Through Feedback Loops, Springer-Verlag, Berlin, Heidelberg, (2009)Model-based Engineering of Embedded Real-time Systems, , , , и . Lecture Notes in Computer Science Springer, Berlin, Heidelberg, New York, (2011)Improving Adaptive Monitoring with Incremental Runtime Model Queries., , и . SEAMS@ICSE, стр. 71-77. IEEE, (2021)Probabilistic Metric Temporal Graph Logic., , и . ICGT, том 13349 из Lecture Notes in Computer Science, стр. 58-76. Springer, (2022)Compositional Analysis of Probabilistic Timed Graph Transformation Systems., , и . FASE, том 12649 из Lecture Notes in Computer Science, стр. 196-217. Springer, (2021)Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML, , и . Architecting Dependable Systems V, (2008)Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems., , и . FASE, том 14573 из Lecture Notes in Computer Science, стр. 77-100. Springer, (2024)Challenges in Reward Design for Reinforcement Learning-based Traffic Signal Control: An Investigation using a CO2 Emission Objective., , и . SUMO, том 1 из SUMO Conference Proceedings, стр. 131-151. TIB Open Publishing, (2023)