Vozárová, Viktória
Vozárová, Viktória
ES
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
Diagnosability of fair transition systems
2022-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória
Model-Based Safety Analysis of Mode Transitions
2020-01-01 Bozzano, Marco; Munk, Peter; Schweizer, Markus; Tonetta, Stefano; Viktoria, Vozarova
Searching for Ribbon-Shaped Paths in Fair Transition Systems
2022-01-01 Bozzano, Marco; Cimatti, Alessandro; Tonetta, Stefano; Vozárová, Viktória
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Diagnosability of fair transition systems | 1-gen-2022 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória | |
Model-Based Safety Analysis of Mode Transitions | 1-gen-2020 | Bozzano, Marco; Munk, Peter; Schweizer, Markus; Tonetta, Stefano; Viktoria, Vozarova | |
Searching for Ribbon-Shaped Paths in Fair Transition Systems | 1-gen-2022 | Bozzano, Marco; Cimatti, Alessandro; Tonetta, Stefano; Vozárová, Viktória |