Scorri Rivista SCIENCE OF COMPUTER PROGRAMMING
Risultati da 1 a 4 di 4
Adaptation space exploration for service-oriented applications
2014-01-01 Mirandola, Raffaela; Potena, Pasqualina; Scandurra, Patrizia
Integrating formal methods into medical software development: The ASM approach
2018-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia
Test generation for sequential nets of Abstract State Machines with information passing
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele
Zone-based formal specification and timing analysis of real-time self-adaptive systems
2018-01-01 Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2014 | Adaptation space exploration for service-oriented applications | Mirandola, Raffaela; Potena, Pasqualina; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2018 | Integrating formal methods into medical software development: The ASM approach | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2014 | Test generation for sequential nets of Abstract State Machines with information passing | Arcaini, Paolo; Gargantini, Angelo Michele | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2018 | Zone-based formal specification and timing analysis of real-time self-adaptive systems | Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays |
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