Author:
Bouwman Mark,Luttik Bas,van der Wal Djurre
Publisher
Springer International Publishing
Reference23 articles.
1. Abdelhalim, I., Schneider, S., Treharne, H.: An integrated framework for checking the behaviour of fUML models using CSP. Int. J. Softw. Tools Technol. Transf. 15(4), 375–396 (2013). https://doi.org/10.1007/s10009-012-0243-0
2. Belinfante, A.: JTorX: Exploring Model-Based Testing. Ph.D. thesis, University of Twente, Enschede, Netherlands (2014). http://purl.utwente.nl/publications/91781
3. Bouwman, M.: mCRL2 model capturing the generic semantics of EULYNX SysML. https://github.com/markuzzz/SysML-to-mCRL2
4. Bouwman, M., van der Wal, D., Luttik, B., Stoelinga, M., Rensink, A.: What is the point: formal analysis and test generation or a railway standard. In: Baraldi, P., Di Maio, F., Zio, E. (eds.) Proceedings of ESREL2020-PSAM15, pp. 921–928. Research Publishing, Singapore (2020). https://doi.org/10.3850/978-981-14-8593-0_4410-cd
5. Lecture Notes in Computer Science;O Bunte,2019
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献