FRANCESCHINI, LUCA
FRANCESCHINI, LUCA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.007 secondi).
An Acceptance Testing Approach for Internet of Things Systems
2018-01-01 Leotta, Maurizio; Clerissi, Diego; Olianas, Dario; Ricca, Filippo; Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Ribaudo, Marina
RML: Theory and practice of a domain specific language for runtime verification
2021-01-01 Ancona, Davide; Franceschini, Luca; Ferrando, Angelo; Mascardi, Viviana
Structural resolution for abstract compilation of object-oriented languages
2017-01-01 Franceschini, Luca; Ancona, Davide; Komendantskaya, Ekaterina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Acceptance Testing Approach for Internet of Things Systems | 1-gen-2018 | Leotta, Maurizio; Clerissi, Diego; Olianas, Dario; Ricca, Filippo; Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Ribaudo, Marina | |
| RML: Theory and practice of a domain specific language for runtime verification | 1-gen-2021 | Ancona, Davide; Franceschini, Luca; Ferrando, Angelo; Mascardi, Viviana | |
| Structural resolution for abstract compilation of object-oriented languages | 1-gen-2017 | Franceschini, Luca; Ancona, Davide; Komendantskaya, Ekaterina |