Fatima Shokri-Manninen
According to our database1,
Fatima Shokri-Manninen
authored at least 3 papers
in 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Applying guidelines for system modelling in Event-B - a systematic literature review.
Int. J. Crit. Comput. Based Syst., 2020
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.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020