Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 4 di 4
Titolo Data di pubblicazione Autore(i) File
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.
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
Critical Observability of Networks of Finite State Machines 1-gen-2015 Pezzuti, Davide; Lessanibahri, S.; Pola, Giordano; DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA
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
Mostrati risultati da 1 a 4 di 4
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile