Formal verification of COLREG-based navigation of maritime autonomous systems F Shokri-Manninen, J Vain, M Waldén Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020 | 15 | 2020 |
Integration of iUML-B and UPPAAL timed automata for development of real-time systems with concurrent processes F Shokri-Manninen, L Tsiopoulos, J Vain, M Waldén Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020 | 3 | 2020 |
Applying guidelines for system modelling in Event-B-a systematic literature review M Olszewska, F Shokri-Manninen, A Edmunds, M Waldén International Journal of Critical Computer-Based Systems 10 (1), 1-36, 2020 | 1 | 2020 |
Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO F Shokri-Manninen, J Vain, M Waldén | | |
Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO F Shokri-Manninen, J Vain, M Waldén NWPT 2019, 58, 0 | | |
This is an electronic reprint of the original article. This reprint may differ from the original in pagination and typographic detail. M Olszewska, F Shokri-Manninen, A Edmunds, M Walden | | |