NICOLETTI, DANIELE
NICOLETTI, DANIELE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.002 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Invited Talk: Pros and Cons of Assertion Mining | 1-gen-2024 | Germiniani, Samuele; Nicoletti, Daniele; Pravadelli, Graziano | |
Mining signal temporal logic specifications for hybrid systems | 1-gen-2024 | Nicoletti, Daniele; Germiniani, Samuele; Pravadelli, Graziano |