Author:
Przigoda Nils,Stoppe Jannis,Seiter Julia,Wille Robert,Drechsler Rolf
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generation and Validation of Frame Conditions in Formal Models;Communications in Computer and Information Science;2019
2. Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements;Computer Languages, Systems & Structures;2018-12
3. Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence;Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development;2018
4. Re-utilizing Verification Results of UML/OCL Models;Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers;2018
5. A Symbolic Formulation for Models;Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers;2018