Activities per year
Activities
- 1 results
Search results
-
LCCC Focus Period and Workshop on Formal Verification of Embedded Control Systems
Westin, E. (Organiser), Rantzer, A. (Role not specified) & Årzén, K.-E. (Host)
2013 AprActivity: Participating in or organising an event › Organisation of conference