Home
Research
Projects
Tools
Publications
People
News and Events
Jobs and Studentships
Conception of ES Research Unit
by
Alessandro Cimatti
Jan 01, 2007
The Embedded Systems Research Unit idea was conceived.
Recent Posts
nuXmv-2.2.0
Open Postdoc 2026 Positions
Two PhD positions available in collaboration with the University of Trento on formal-methods-related topics
New project with RFI: ACC3-OPERA
PhD positions in collaboration with the University of Trento on formal-methods-related topics (2nd call)
