Projekteja vuodessa
Sormenjälki
Sukella tutkimusaiheisiin, joissa Luigia Petre on aktiivinen. Käsitteet on luotu henkilön julkaisuja ja asiasanoja louhimalla. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 28 Samanlaiset profiilit
Projektit
- 4 Päättynyt
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M., Olszewska, M., Edmunds, A., Ostroumov, S., Petre, L., Boström, P. & Neovius, M.
01/09/13 → 31/08/17
Projekti: Research
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L., Walden, M., Kamali, M., Kamali, M., Neovius, M. & Sandvik, P.
01/01/13 → 31/12/15
Projekti: Research
-
MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, M., Sere, K., Troubitsyna, E., Petre, L., Boström, P., Tsiopoulos, L., Jansson, M. & Engblom, N.
01/05/00 → 28/02/03
Projekti: Research
-
DESIRE: Design of Reliable Embedded Systems (Academy of Finland)
Walden, M., Sere, K., Troubitsyna, E., Petre, L., Jansson, M. & Qvist, M.
01/01/99 → 31/12/01
Projekti: Research
Julkaisut
-
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System
Petre, I., Sanwal, M. U., Shah, G., Panchal, C., Tiwari, D. & Petre, L., 2020, julkaisussa: Fundamenta Informaticae. 171, 1-4, s. 331–343Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
-
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2020, Proceedings of International Seminar on Safety and Security of Autonomous Vessels (ISSAV'19). s. –Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen
Tiedosto5 Lataukset (Pure) -
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Dongol, B. (toim.), Petre, L. (toim.) & Smith, G. (toim.), 2019, Springer Verlag.Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
-
Preface
Dongol, B., Petre, L. & Smith, G., 2019, Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019. Dongol, B., Petre, L. & Smith, G. (toim.). Springer Verlag, s. v–viTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
-
Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response
Sanwal, M. U., Petre, L. & Petre, I., 2017, julkaisussa: Computers in Biology and Medicine. 91, s. 1–12Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu