ENGELMANN, DEBORA CRISTINA
ENGELMANN, DEBORA CRISTINA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.004 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications | 1-gen-2023 | Engelmann, D. C.; Ferrando, A.; Panisson, A. R.; Ancona, D.; Bordini, R. H.; Mascardi, V. |