Search results for: Werner Damm
Science of Computer Programming > 2017 > 148 > C > 123-160
Informatik-Spektrum > 2017 > 40 > 5 > 400-408
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 180-207
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 225-246
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Invited Lectures > 18-18
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > UML Models and Model Checking > 375-393
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 276-291
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part IV: Charts > 322-324
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Model Driven Software Development Applications > 361-376
Lecture Notes in Computer Science > ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools > Invited Talk > 240-240
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part V: Verification > 494-516