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
24 February 2020 - 22 May 2020
Lecturer
Valeriy Vyatkin, Pekka Aarnio
Place/Venue
Aalto University School of Electrical Engineering / Department of Electrical Engineering and Automation
City
Country
Finland
ECTS
5 points
Link
https://mycourses.aalto.fi/course/search.php?...
Language
English
Block-scheduling
No
Cost
Not available