Julkaisuja vuodessa
Julkaisuja vuodessa
Sormenjälki
Sukella tutkimusaiheisiin, joissa Fatemeh Shokri-Manninen on aktiivinen. Käsitteet on luotu henkilön julkaisuja ja asiasanoja louhimalla. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 1 Samanlaiset profiilit
Verkko
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
-
Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO
Shokri-Manninen, F., Vain, J. & Waldén, M., 2021. 4 Sivumäärä.Tutkimustuotos: Konferenssiin myötävaikuttaminen › Tiivistelmä › Tieteellinen
Open accessTiedosto14 Lataukset (Pure) -
Applying guidelines for system modelling in Event-B: A systematic literature review
Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2020, julkaisussa: International Journal of Critical Computer-Based Systems. 10, 1, s. 1–36Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto1 Sitaatiot (Scopus)22 Lataukset (Pure) -
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
Shokri-Manninen, F., Vain, J. & Walden, M., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (toim.). Springer, Cham, s. 41-59 19 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12310 LNCS).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto6 Sitaatiot (Scopus)39 Lataukset (Pure) -
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes
Shokri-Manninen, F., Tsiopoulos, L., Vain, J. & Walden, M., 2020, Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (toim.). Springer, s. –Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto2 Sitaatiot (Scopus)13 Lataukset (Pure) -
Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO
Shokri-Manninen, F., Jüri, V., Walden, M., Tarmo, U. (toim.) & Jüri, V. (toim.), 2019Tutkimustuotos: Muu myötävaikuttaminen › vertaisarvioitu