HECS (High-Confidence Embedded and Cyberphysical Systems)

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods

32 stars 4 forks source link

HECS (High-Confidence Embedded and Cyberphysical Systems) #21

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: University hosting the course: Univ. Grenoble Alpes Contact person: Hubert Garavel & Laurence Pierre (hubert.garavel@inria.fr) Concepts taught: Applied formal methods Tools used: many Webpage: http://hecs.imag.fr Year/Level: MSc