MANINI, ANDREA
MANINI, ANDREA
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.019 secondi).
| Titolo | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Formal verification with games on graphs | 1-gen-2024 | A. Manini | |
| Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation | 1-gen-2025 | Manini, AndreaRossi, Matteo GiovanniSan Pietro, Pierluigi |