Sfoglia per Autore Abate, Alessandro
Mostrati risultati da 1 a 2 di 2
Special issue: Formal verification of cyber-physical systems
2022-01-01 Geretti, Luca; Abate, Alessandro; Nuzzo, Pierluigi; Villa, Tiziano
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
2025-01-01 Abate, Alessandro; Althoff, Matthias; Bu, Lei; Ernst, Gidon; Frehse, Goran; Geretti, Luca; Johnson, Taylor T.; Menghi, Claudio; Mitsch, Stefan; Schupp, Stefan; Soudjani, Sadegh
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Special issue: Formal verification of cyber-physical systems | 1-gen-2022 | Geretti, Luca; Abate, Alessandro; Nuzzo, Pierluigi; Villa, Tiziano | |
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems | 1-gen-2025 | Abate, Alessandro; Althoff, Matthias; Bu, Lei; Ernst, Gidon; Frehse, Goran; Geretti, Luca; Johnson, Taylor T.; Menghi, Claudio; Mitsch, Stefan; Schupp, Stefan; Soudjani, Sadegh |
Mostrati risultati da 1 a 2 di 2
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