Real-Time Model Checking of Embedded Systems

Kim Larsen Aalborg University

Algorithms, Machines and Languages (2007-2019)  / Linked to Topics Covered in the Lectures
30 March 2016 5:30 pm 6:30 pm Seminar Amphithéâtre Maurice Halbwachs - Marcelin Berthelot
Les cours et séminaires sont gratuits, en accès libre, sans inscription préalable.
La Lettre du Collège
La Lettre du Collège
Contacts
Intranet
Fondation
Salamandre
Informations légales