Automation Software Synthesis and Analysis D
Aalto University
<p>The students will acquire theoretical background and practical experience of formal methods application for validation and synthesis of hardware, software and reactive embedded systems</p>
Back
|
Course dates
25 February 2026 - 29 May 2026
|
Course organizer
Valeriy Vyatkin, Nikolaos Papakonstantinou, Polina Ovsiannikova
|
Place/Venue
School of Electrical Engineering / Department of Electrical Engineering and Automation
|
City
|
Country
Finland
|
Workload
5
|
Link
https://mycourses.aalto.fi/course/search.php?...
|
|
