PINZUTI, ALESSANDRO
PINZUTI, ALESSANDRO
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.01 secondi).
A formal approach to design and verification of two-level Hierarchical Scheduling systems
2011 L. Carnevali; G. Lipari; A. Pinzuti; E. Vicario
Compositional verification for Hierarchical Scheduling of Real-Time systems
2013 Alessandro Pinzuti
Compositional Verification for Hierarchical Scheduling of Real-Time systems
2013 Laura Carnevali;Alessandro Pinzuti;Enrico Vicario
Monitoring of ADLs in sensorized environments using an on-line Model Checker
2012 T. Magherini; A. Fantechi; C.D. Nugent; A. Pinzuti; E. Vicario
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A formal approach to design and verification of two-level Hierarchical Scheduling systems | 2011 | L. Carnevali; G. Lipari; A. Pinzuti; E. Vicario | |
| Compositional verification for Hierarchical Scheduling of Real-Time systems | 2013 | Alessandro Pinzuti | |
| Compositional Verification for Hierarchical Scheduling of Real-Time systems | 2013 | Laura Carnevali;Alessandro Pinzuti;Enrico Vicario | |
| Monitoring of ADLs in sensorized environments using an on-line Model Checker | 2012 | T. Magherini; A. Fantechi; C.D. Nugent; A. Pinzuti; E. Vicario |