Projects per year
| Original language | English |
|---|---|
| Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation |
| Publication status | Published - Oct 2024 |
Projects
- 1 Active
-
FATE - Fault-driven Analysis and Testing for Design Robustness and Stability
Bloem, R. (Co-Investigator (CoI))
1/11/22 → 31/10/25
Project: Research project
Activities
- 1 Talk at conference or symposium
-
Synthesis from Infinite-State Generalized Reactivity(1) Specifications
Maderbacher, B. (Speaker)
27 Oct 2024Activity: Talk or presentation › Talk at conference or symposium › Science to science