Sfoglia per Autore Vozárová, Viktória
Mostrati risultati da 1 a 3 di 3
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
Diagnosability of fair transition systems
2022-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Diagnosability of fair transition systems | 1-gen-2022 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Vozárová, Viktória |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile