Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-5 of 5

2020
1 Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker.
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. I: Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020 Xi’an, China, October 26–27, 2020 Proceedings. Springer 2020 ISBN 978-3-030-65954-7. p. 68-83
HVL Untitled
 
2 Carvalho, Gustavo; Stolz, Volker.
Formal Methods: Foundations and Applications. Springer 2020 (ISBN 978-3-030-63882-5) 229 p. Lecture Notes in Computer Science (LNCS)(12475)
HVL Untitled
 
3 Pun, Ka I; Stolz, Volker; Simao, Adenilso.
Theoretical Aspects of Computing – ICTAC 2020. Springer 2020 (ISBN 978-3-030-64275-4) 317 p. Lecture Notes in Computer Science (LNCS)(12545)
HVL Untitled
 
4 Stolz, Volker; Pun, Ka I; Gheyi, Rohit.
Refactoring and Active Object Languages. Lecture Notes in Computer Science (LNCS) 2020
HVL Untitled
 
5 Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael; Stolz, Volker.
Multi-objective Search for Model-based Testing. I: 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security (QRS 2020). IEEE conference proceedings 2020 ISBN 978-1-7281-8913-0. p. 130-141
HVL Untitled