Lecturing at Collegè de France

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.
  • News

  • Contact

    Department of Computer Science
    Aalborg University

    Science Selma Lagerlöfs Vej 300,
    DK-9220 Aalborg East
    Office: 0.2.32
    Mail: kgl ‘at’ cs.aau.dk


    PHONE : +45 99 40 80 80 (Switchboard)
    PHONE : +45 99 40 88 93 (Direct)
    PHONE : +45 22 17 11 59 (Mobile)
    FAX : +45 98 15 98 89