Author:
Planas Elena,Cabot Jordi,Gómez Cristina
Publisher
Springer International Publishing
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lightweight and static verification of UML executable models;Computer Languages, Systems & Structures;2016-11
2. Transformation Rules for Platform Independent Testing: An Empirical Study;2013 IEEE Sixth International Conference on Software Testing, Verification and Validation;2013-03
3. ONTOLOGY-BASED SEMANTIC VERIFICATION FOR UML BEHAVIORAL MODELS;International Journal of Software Engineering and Knowledge Engineering;2013-03
4. An integrated framework for checking the behaviour of fUML models using CSP;International Journal on Software Tools for Technology Transfer;2012-06-28
5. An Optimization Approach for Effective Formalized fUML Model Checking;Software Engineering and Formal Methods;2012