MANINI, ANDREA
MANINI, ANDREA
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
Formal verification with games on graphs
2024-01-01 Manini, A.
Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
2025-01-01 Manini, Andrea; Rossi, Matteo Giovanni; San Pietro, Pierluigi
Tarzan: A Region-Based Library for Forward and Backward Reachability of Timed Automata
2026-01-01 Manini, Andrea; Rossi, Matteo; San Pietro, Pierluigi