MENGHI, CLAUDIO

MENGHI, CLAUDIO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.039 secondi).
Titolo Data di pubblicazione Autori File
Engineering topology aware adaptive security: Preventing requirements violations at runtime 1-gen-2014 TSIGKANOS, CHRISTOSMENGHI, CLAUDIOGHEZZI, CARLO +
On requirements verification for model refinements 1-gen-2013 GHEZZI, CARLOMENGHI, CLAUDIO +
RoboMAX: Robotic Mission Adaptation eXemplars 1-gen-2021 Askarpour, MehrnooshTsigkanos, ChristosMenghi, ClaudioRossi, MatteoBersani, Marcello M. +
Topology Aware Adaptive Security 1-gen-2014 GHEZZI, CARLOMENGHI, CLAUDIOTSIGKANOS, CHRISTOS +
Verifying incomplete and evolving specifications 1-gen-2014 MENGHI, CLAUDIO