PINZUTI, ALESSANDRO
PINZUTI, ALESSANDRO
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 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 |