Projekteja vuodessa
Sormenjälki
Sukella tutkimusaiheisiin, joissa Doctoral Network in Information Technologies and Mathematics on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän organisaation jäsenten teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
Verkko
Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.
Profiilit
Projektit
- 5 Päättynyt
-
MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
01/04/17 → 31/03/20
Projekti: Research
-
N4S: Need for Speed
Porres Paltor, I., Nybom, K., Truscan, D., Ashraf, A., Troubitsyna, E., Byholm, B., Rauf, I. M. & Ahmad, T.
01/01/14 → 31/12/16
Projekti: Research
-
QuantRef: Quantitative model refinement
Petre, I., Azimi Rashti, S., Rogojin, V., Iancu, B., Gratie, C., Gratie, D. & Panchal, C.
01/09/13 → 31/08/17
Projekti: Research
Julkaisut
-
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
-
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
-
Hilbert matrix, Volterra and weighted composition operators on Banach spaces of analytic functions
Wikman, N., 2020, Åbo Akademi University Press. 31 SivumääräTutkimustuotos: Väitöskirjatyypit › Tohtorinväitöskirja › Artikkelikokoelma
Open access