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).
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.