REHMAN, ANIQA
REHMAN, ANIQA
Scuola di Scienze e Tecnologie
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
Monitoring Local and Global Properties of Collective Adaptive Systems
2024-01-01 Del Giudice, N.; Loreti, M.; Quadrini, M.; Rehman, A.
Sibilla: A tool for reasoning about collective systems
2024-01-01 Del Giudice, Nicola; Matteucci, Lorenzo; Quadrini, Michela; Rehman, Aniqa; Loreti, Michele
Specification and Verification of Local and Global Properties of Collective Systems
2024-12-06 Rehman, Aniqa
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Monitoring Local and Global Properties of Collective Adaptive Systems | 1-gen-2024 | Del Giudice, N.; Loreti, M.; Quadrini, M.; Rehman, A. | Capitolo di libro o voce di enciclopedia | |
Sibilla: A tool for reasoning about collective systems | 1-gen-2024 | Del Giudice, Nicola; Matteucci, Lorenzo; Quadrini, Michela; Rehman, Aniqa; Loreti, Michele | Articolo | |
Specification and Verification of Local and Global Properties of Collective Systems | 6-dic-2024 | Rehman, Aniqa | Doctoral Thesis |