Search results for: Juergen Dingel
Discrete Event Dynamic Systems > 2019 > 29 > 3 > 297-365
Software & Systems Modeling > 2019 > 18 > 4 > 2361-2397
Empirical Software Engineering > 2018 > 23 > 3 > 1519-1551
Discrete Event Dynamic Systems > 2017 > 27 > 2 > 407-441
Software & Systems Modeling > 2018 > 17 > 3 > 717-752
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Formal Semantics of UML > 230-244
Lecture Notes in Computer Science > Models in Software Engineering > S3 – A Formal Semantics for UML > 318-323
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Model Checking > 44-58
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Timed Process Algebra > 125-139
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Verification and Validation 1 > 410-424
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Model Intergration > 185-199
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > State/Behavioral Modeling > 97-112
Lecture Notes in Computer Science
Lecture Notes in Computer Science