PEZZUTI, DAVIDE
PEZZUTI, DAVIDE
Dipartimento di Ingegneria e scienze dell'informazione e matematica
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.005 secondi).
Design of decentralized critical observers for networks of finite state machines: A formal method approach
2017-01-01 Pola, Giordano; DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA; Pezzuti, Davide
Critical Observability of Networks of Finite State Machines
2015-01-01 Pezzuti, Davide; Lessanibahri, S.; Pola, Giordano; DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA
A Critical Bisimulation Approach to Safety Criticality Analysis of Large–Scale Air Traffic Management Systems
2013-01-01 Pezzuti, Davide; Pola, Giordano; DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA
Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach
2013-01-01 DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA; Everdij, M; Pezzuti, Davide; Pola, Giordano; Scarciolla, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Design of decentralized critical observers for networks of finite state machines: A formal method approach | 1-gen-2017 | Pola, Giordano; DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA; Pezzuti, Davide | |
Critical Observability of Networks of Finite State Machines | 1-gen-2015 | Pezzuti, Davide; Lessanibahri, S.; Pola, Giordano; DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA | |
A Critical Bisimulation Approach to Safety Criticality Analysis of Large–Scale Air Traffic Management Systems | 1-gen-2013 | Pezzuti, Davide; Pola, Giordano; DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA | |
Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach | 1-gen-2013 | DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA; Everdij, M; Pezzuti, Davide; Pola, Giordano; Scarciolla, L. |