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
Course organizer
Valeriy Vyatkin, Pekka Aarnio
Place/Venue
Aalto University School of Electrical Engineering / Department of Electrical Engineering and Automation
City
Country
Finland
Workload
5
Link
https://mycourses.aalto.fi/course/search.php?...