Aktiviteter per år
Aktiviteter
- 1 resultat
Sökresultat
-
LCCC Focus Period and Workshop on Formal Verification of Embedded Control Systems
Westin, E. (organisatör), Rantzer, A. (Roll ej angiven) & Årzén, K.-E. (värd)
2013 apr.Aktivitet: Deltagit i eller arrangerat evenemang › Arrangerat konferens