Sfoglia per Rivista
Safety Assessment of AltaRica Models via Symbolic Model Checking
2015-01-01 Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator
2025-01-01 Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
2000-01-01 V., Hartonas Garmhausen; E. M., Clarke; S., Campos; Cimatti, Alessandro; Giunchiglia, Fausto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Safety Assessment of AltaRica Models via Symbolic Model Checking | 1-gen-2015 | Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
| System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator | 1-gen-2025 | Goyal, Srajan; Griggio, Alberto; Tonetta, Stefano | |
| Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints | 1-gen-2000 | V., Hartonas Garmhausen; E. M., Clarke; S., Campos; Cimatti, Alessandro; Giunchiglia, Fausto |
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