Sfoglia per Rivista
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
RML: Theory and practice of a domain specific language for runtime verification | 1-gen-2021 | Ancona, Davide; Franceschini, Luca; Ferrando, Angelo; Mascardi, Viviana | |
The early bird catches the worm: First verify, then monitor! | 1-gen-2019 | Ferrando, Angelo |
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