Doctoral Network in Information Technologies and Mathematics

MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
ECSEL JU
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

CARLESON INTERPOLATING SEQUENCES FOR BANACH SPACES OF ANALYTIC FUNCTIONS
Lindström, M., Mastyło, M., Mleczko, P., Norrbo, D. & Rzeczkowski, M., 29 maaliskuuta 2021, (Sähköinen julkaisu (e-pub) ennen painettua julkistusta) julkaisussa: Journal of the Institute of Mathematics of Jussieu.
Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL
Shokri, F., Vain, J. & Walden, M., 2021, Proceedings of the 32nd Nordic Workshop on Programming Theory. Iceland: Reykjavik University, Iceland, 4 Sivumäärä
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

Open access
Tiedosto
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–36
Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto

1 Sitaatiot (Scopus)

6 Lataukset (Pure)

Sormenjälki