Bookmark and Share

Automation Software Synthesis and Analysis P


Aalto University


The students will acquire theoretical background and practical experience of formal methods application for validation and synthesis of hardware, software and reactive embedded systems


Back

Course dates
25 February 2019 - 24 May 2019
Lecturer
Valeriy Vyatkin, Pekka Aarnio
Place/Venue
Aalto University School of Electrical Engineering / Department of Electrical Engineering and Automation
City
Espoo
Country
Finland
ECTS
5 points
Link
https://mycourses.aalto.fi/course/search.php?...
Language
English
Block-scheduling
No
Cost
Not available