Top course
Pisa, Italy
Computer-Aided Drug Design
When:
13 July - 17 July 2026
Credits:
3 EC
Read more
Computer Sciences
Methods of Concurrent Checking
When:
03 September - 07 September 2018
School:
Automated Driving Vehicles – Reliability, Safety and Security Challenges in Electronic Systems
Institution:
IHP - Innovations for High Performance Microelectronics, University Potsdam
City:
Country:
Language:
English
Credits:
0 EC
Fee:
100 EUR
About
Methods of Concurrent Checking
Course leader
Prof. Dr. Michael Gössel
Target group
bachelor and master students of computer sciences or electrical engineering
Fee info
Fee
100 EUR, The fee covers all tutorials and lectures as well as lunch on lecture days, welcome buffet and social dinner. Travel costs are not included in the fee.
Interested?
When:
03 September - 07 September 2018
School:
Automated Driving Vehicles – Reliability, Safety and Security Challenges in Electronic Systems
Institution:
IHP - Innovations for High Performance Microelectronics, University Potsdam
Language:
English
Credits:
0 EC
Other relevant courses
Oxford, United Kingdom
Advanced Artificial Intelligence and Machine Learning: Generative AI and Deep Unsupervised Learning
When:
29 June - 17 July 2026
Credits:
7.5 EC
Read more
Top course
Pisa, Italy
AI for Archaeologists, with Python
When:
02 February - 13 February 2026
Credits:
6 EC
Read more