Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de Western Norway University of Applied Sciences](/img/noimage_org.png)
Western Norway University of Applied Sciences
Bergen, NoruegaPublicaciones en colaboración con investigadores/as de Western Norway University of Applied Sciences (14)
2024
-
Runtime Verification of Timed Petri Nets
CEUR Workshop Proceedings
2021
-
Hardware-Assisted Online Data Race Detection
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 108-126
-
MC/DC Test Cases Generation Based on BDDs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020
-
COEMS EU2020 Open Data
Zenodo
-
COEMS EU2020 Open Data
Zenodo
-
COEMS EU2020 Open Data
Zenodo
-
COEMS EU2020 Open Data
Zenodo
-
COEMS EU2020 Open Data
Zenodo
-
COEMS EU2020 Open Data
Zenodo
-
COEMS EU2020 Open Data
Zenodo
-
COEMS EU2020 Open Data
Zenodo
-
COEMS EU2020 Open Data
Zenodo
-
COEMS EU2020 Open Data
Zenodo
-
COEMS EU2020 Open Data
Zenodo