Fatima Shokri-Manninen

According to our database, Fatima Shokri-Manninen authored at least 3 papers in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Applying guidelines for system modelling in Event-B - a systematic literature review.

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén

Int. J. Crit. Comput. Based Syst., 2020

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems.

Fatima Shokri-Manninen, Jüri Vain, Marina Waldén

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes.

Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020