Sfoglia per Rivista
Mostrati risultati da 1 a 4 di 4
Analysis of spatio-temporal properties of stochastic systems using TSTL
2019-01-01 Luisa Vissat, Ludovica; Loreti, Michele; Nenzi, Laura; Hillston, Jane; Marion, Glenn
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 |
---|---|---|---|---|
Analysis of spatio-temporal properties of stochastic systems using TSTL | 1-gen-2019 | Luisa Vissat, Ludovica; Loreti, Michele; Nenzi, Laura; Hillston, Jane; Marion, Glenn | Articolo | |
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 |
Mostrati 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