DI GIAMPAOLO, BARBARA
DI GIAMPAOLO, BARBARA
Dipartimento di Ingegneria dell'Informazione,Ingegneria Elettrica e Matematica Applicata (attivo dal 31/12/2012 al 31/12/2018)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On the verification of parametric and real-time systems | 6-mag-2011 | Di Giampaolo, Barbara | |
| Parametric Metric Interval Temporal Logic | 1-gen-2010 | DI GIAMPAOLO, Barbara; LA TORRE, Salvatore; Napoli, Margherita |