FMC / Mobile Distributed Systems / The Formal Methods && Tools Group / New Generation Integrated Embedded Systems / CCS / Analysis Laboratory / Wide Area Networks / /
Event
Business Partnership / /
Facility
ISTI CNR CAFÉ / /
IndustryTerm
computer systems / several verification tools / /
Organization
Italian Space Agency / /
Person
Giuseppe Lami / Diego Latella Mieke Massink Franco / Giorgio Faconti Alessandro Fantechi Stefania / Alessandro Fantechi Stefania Gnesi Diego / Metodi Formali / Gabriele Lenzini / Stefania Gnesi Diego Latella Mieke / Maria Lisa Masseti Gianluca Trentanni / /
Position
Co-operative / /
PublishedMedium
il Tempo / /
Technology
•Model-checking algorithms / Information Technology / /