Publisher
Springer International Publishing
Reference29 articles.
1. Lecture Notes in Computer Science;T Ando,2013
2. Ando, T., Yatsu, H., Kong, W., Hisazumi, K., Fukuda, A.: Translation rules of SysML state machine diagrams into CSP# toward formal model checking. Int. J. Web Inf. Syst. (2014)
3. Lecture Notes in Computer Science;L Apvrille,2013
4. Lecture Notes in Computer Science;R Baduel,2018
5. Baltes, S., Ralph, P.: Sampling in software engineering research: a critical review and guidelines. CoRR abs/2002.07764 (2020)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献