Sfoglia per Rivista
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST)
2018-01-01 Ter Beek, Maurice H.; Loreti, Michele
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems"
2019-01-01 Loreti, Michele
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools”
2018-01-01 Loreti, Michele
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) | 1-gen-2018 | Ter Beek, Maurice H.; Loreti, Michele | EDITOR DI SPECIAL ISSUE | |
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems" | 1-gen-2019 | Loreti, Michele | Articolo | |
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools” | 1-gen-2018 | Loreti, Michele | Articolo |
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