|
|
Norsk
versjon
In order to register data in Cristin, you must be an academic or administrative employee.
|
|
|
|
|
|
|
|
|
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
|
|