Scorri Rivista ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS
Risultati da 1 a 2 di 2
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime
2023-01-01 Camilli, Matteo; Mirandola, Raffaella; Scandurra, Patrizia
Formal design and verification of self-adaptive systems with decentralized control
2017-01-01 Arcaini, Paolo; Riccobene, Elvinia; Scandurra, Patrizia
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2023 | Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime | Camilli, Matteo; Mirandola, Raffaella; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2017 | Formal design and verification of self-adaptive systems with decentralized control | Arcaini, Paolo; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays |
Risultati da 1 a 2 di 2
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