Sfoglia per Correlatore TSIGKANOS, CHRISTOS
Mostrati risultati da 1 a 4 di 4
HarVey. On runtime veri cation of cyber-physical spaces
2016/2017 SCOLARI, GIACOMO
On model-driven design of city spaces. A bidirectional transformations approach to city spaces design and operations
2018/2019 VISCONTI, ENNIO
Security requirements, modelling and analysis in a courthouse case study
2015/2016 RUBINO, WALTER
Synkrisis : specification and analysis of bigraphical reactive systems
2018/2019 CASTELLANI, ALESSANDRO
| Fulltext | Data | Tipo | Titolo | Autore (i) |
|---|---|---|---|---|
| 2017-10-03 | Tesi di laurea Magistrale | HarVey. On runtime veri cation of cyber-physical spaces | SCOLARI, GIACOMO | |
| 2019-12-18 | Tesi di laurea Magistrale | On model-driven design of city spaces. A bidirectional transformations approach to city spaces design and operations | VISCONTI, ENNIO | |
| 2017-04-28 | Tesi di laurea Magistrale | Security requirements, modelling and analysis in a courthouse case study | RUBINO, WALTER | |
| 2019-10-03 | Tesi di laurea Magistrale | Synkrisis : specification and analysis of bigraphical reactive systems | CASTELLANI, ALESSANDRO |
Mostrati risultati da 1 a 4 di 4
Legenda icone accesso al fulltext
- File accessibili da tutti
- File accessibili dagli utenti autorizzati
- File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
- File non accessibili