Cited By
View all- Zhou ZZhi QMorisaki S(2021)A Composite Safety Assurance Method for Developing System Architecture Using Model CheckingInternational Journal of Systems and Software Security and Protection10.4018/IJSSSP.202101010512:1(78-93)Online publication date: 1-Jan-2021
- Adesina OLethbridge TSomé SPretschner AVoss SBurgueño L(2019)Optimizing hierarchical, concurrent state machines in umple for model checkingProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS-C.2019.00082(524-532)Online publication date: 15-Sep-2019
- Hasegawa IYokogawa T(2019)Automatic Verification for Node-Based Visual Script Notation Using Model CheckingFormal Methods and Software Engineering10.1007/978-3-030-32409-4_4(52-68)Online publication date: 5-Nov-2019
- Show More Cited By