Author:
Planas Elena,Cabot Jordi,Gómez Cristina
Subject
Computer Networks and Communications,Software
Reference60 articles.
1. Alf-verifier. A lightweight tool for verifying UML-Alf executable models, 〈https://github.com/som-research/alf-verifier〉.
2. Alf-verifier. Example of use, 〈https://goo.gl/pYEI9F〉.
3. Xtext, 〈http://www.xtext.org/〉 [accessed September 2015].
4. An integrated framework for checking the behaviour of fUML models using CSP;Abdelhalim;Int J Softw Tools Technol Transf,2013
5. Alur R. Model checking: from tools to theory. In: 25 years of model checking; 2008. p. 89–106.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献