Scorri Rivista  ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS

Opzioni
Parti dalla lettera: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Risultati da 1 a 2 di 2
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