Scorri Rivista SCIENCE OF COMPUTER PROGRAMMING
Risultati da 3 a 4 di 4
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 | 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 3 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