Sfoglia per Autore  

opzioni
Mostrati risultati da 61 a 72 di 72
Titolo Data di pubblicazione Autore(i) File
A semantic theory of the Internet of Things 1-gen-2018 Lanotte, Ruggero; Merro, Massimo
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics 1-gen-2019 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Computing Bisimilarity Metrics for Probabilistic Timed Automata 1-gen-2019 Lanotte, Ruggero; Tini, Simone
On the decidability of linear bounded periodic cyber-physical systems 1-gen-2019 Lanotte, Ruggero; Merro, Massimo; Mogavero, Fabio
Runtime Enforcement for Control System Security 1-gen-2020 Lanotte, Ruggero; Merro, Massimo; Andrei Munteau, And
A formal approach to physics-based attacks in cyber-physical systems 1-gen-2020 Lanotte, R.; Merro, M.; Munteanu, A.; Vigano, L.
A process calculus approach to correctness enforcement of PLCs 1-gen-2020 Lanotte, R.; Merro, M.; Munteanu, A.
A process calculus approach to detection and mitigation of PLC malware 1-gen-2021 Lanotte, R.; Merro, M.; Munteanu, A.
A Probabilistic Calculus of Cyber-Physical Systems 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces 1-gen-2021 Lanotte, R.; Tini, S.
Formal Impact Metrics for Cyber-physical Attacks 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Tini, Simone
Industrial Control Systems Security via Runtime Enforcement 1-gen-2022 Lanotte, R.; Merro, M.; Munteanu, A.
Mostrati risultati da 61 a 72 di 72
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