Publikationer per år
Publikationer per år
Forskningsresultat
- 17 resultat
Sökresultat
-
2024
Message from the ITEQS 2024 Workshop Chairs ICSTW 2024
Saadatmand, M., Truscan, D. & Enoiu, E. P., 2024, 2 s. IEEE.Forskningsoutput: Övriga bidrag
-
2023
Message from ITEQS 2023 Workshop Chairs
Saadatmand, M., Truscan, D. & Enoiu, E., 2023Forskningsoutput: Övriga bidrag
Öppen tillgång -
2022
Application de l'Ingénierie des Exigences basée sur les Modèles dans Trois Grands Projets Collaboratifs Européens : Un Rapport d'Expérience
Sadovykh, A., Bruneliere, H. & Truscan, D., 2022, 2 s. INFORSID.Forskningsoutput: Övriga bidrag
Öppen tillgång -
2021
Condition monitoring of elevator using deep learning and frequency analysis approach
Mohan Mishra, K., Saxen, J.-E., Björkqvist, J. & Huhtala, K., 2021Forskningsoutput: Övriga bidrag › Peer review
-
Message from the ITEQS 2021 Workshop Chairs
Saadatmand, M., Truscan, D. & Enoiu, E., apr. 2021, Los Alamitos, CA, USA : IEEE Computer Society.Forskningsoutput: Övriga bidrag
Öppen tillgång -
PATH-45. APOLLO: RAMAN-BASED PATHOLOGY OF MALIGNANT GLIOMA
Lita, A., Sjöberg, J., Filipescu, S., Celiku, O., Petre, L., Gilbert, M., Noushmehr, H., Petre, I. & Larion, M., nov. 2021, 1 s.Forskningsoutput: Övriga bidrag › Peer review
-
Towards Scalable Modeling of Biology in Event-B
Sanwal, U., Hoang, T. S., Petre, L. & Petre, I., 20 maj 2021, 18 s. Computer Research Repository.Forskningsoutput: Övriga bidrag
Öppen tillgång -
2020
Message from ITEQS 2020 Workshop Chairs
Saadatmand, M., Truscan, D. & Enoiu, E., okt. 2020, 2 s. IEEE.Forskningsoutput: Övriga bidrag › Peer review
Öppen tillgång -
2019
Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO
Shokri-Manninen, F., Jüri, V., Walden, M., Tarmo, U. (Redaktör) & Jüri, V. (Redaktör), 2019Forskningsoutput: Övriga bidrag › Peer review
-
Virtual sensing in marine systems
Manngård, M., Lund, W., Björkqvist, J., Toivonen, H., Sin, G. (Redaktör), Bagterp Jørgensen, J. (Redaktör) & Kjøbsted Huusom, J. (Redaktör), 2019Forskningsoutput: Övriga bidrag
-
2018
Stable MPC design for hybrid mixed logical dynamical systems: L∞-based lyapunov approach
Olama, A., Shasadeghi, M. & Ramezani, A., 2018Forskningsoutput: Övriga bidrag › Peer review
-
2017
Studying Emotional Wellness with Wearables for young Elderly - an Insight
Warraich, M. & Rauf, I., 2017Forskningsoutput: Övriga bidrag
-
2015
-
-
Output-error system identification in the presence of structural disturbances
Shirdel, A., Böling, J., Toivonen, H. & Skogestad, S. (Redaktör), 2015Forskningsoutput: Övriga bidrag
-
-
2014
Computer Mathematics for the Engineer: Efficient Computation and Symbolic Manipulation: Lecture notes
Fredman, T., 2014Forskningsoutput: Övriga bidrag