Lecturing at Collegè de France

By Kim G. Larsen | Published: March 29, 2016

Real-Time Model Checking of Embedded System

Kim LarsenAalborg University

Attend the seminar

30 March 2016 5:30 pm 6:30 pm SeminarAmphithéâtre Maurice Halbwachs – Marcelin Berthelot
Lectures are open to all, free of charge and without prior registration
This entry was posted in news. Bookmark the permalink. Comments are closed, but you can leave a trackback: Trackback URL.