Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-5 av 5

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