|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
2021
|
1. |
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker. MC/DC Test Cases Generation Based on BDDs. I: SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Beijing, China: Springer International Publishing 2021 ISBN 978-3-030-91265-9. s. 178-197 HVL
Untitled
|
|
2. |
Rodriguez Tena, Alejandro; Kristensen, Lars Michael; Rutle, Adrian. Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. Lecture Notes in Computer Science (LNCS) 2021 HVL
Untitled
|
|
3. |
Rodríguez, Alejandro; Durán, Francisco; Kristensen, Lars Michael. Simulation and analysis of MultEcore multilevel models based on rewriting logic. Software and Systems Modeling (SoSyM) 2021 s. - HVL
Untitled
|
|
4. |
Stokkenes, Sindre; Strand, Ruben Dobler; Kristensen, Lars Michael; Log, Torgrim. Validation of a Predictive Fire Risk Indication Model using Cloud-based Weather Data Services. Procedia Computer Science 2021 ;Volum 184. s. 186-193 HVL
Untitled
|
|
5. |
Strand, Ruben Dobler; Stokkenes, Sindre; Kristensen, Lars Michael; Log, Torgrim. Fire Risk Prediction Using Cloud-based Weather Data Services. International Journal of Ubiquitous Systems and Pervasive Networks (JUSPN) 2021 ;Volum 16.(1) s. 37-47 HVL
Untitled
|
|