SIMS – Sistemi Integrati di Manutenzione e Sicurezza
General Info
Start Date: 1 Jun 2012
End Date: 30 Sep 2013
Partners
- Goriziane
- MIOS Elettronica
- Università degli Studi di Udine
Contacts
Alessandro Cimatti <>
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference