Author:
Abrial Jean-Raymond,Börger Egon,Langmaack Hans
Publisher
Springer Berlin Heidelberg
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL;Formal Aspects of Component Software;2024
2. Automated Mitigation of Frame Problem in UML Class Diagram Verification;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
3. Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
4. UTP, Circus, and Isabelle;Theories of Programming and Formal Methods;2023
5. Crucible Tools for Test Generation and Animation of Alloy Models;Rigorous State-Based Methods;2023