Tutorials


T1: Simulation and Verification of Cyber-Physical Systems
July 27 (Monday), 9:00 am - 12:00 pm

Professor Hermann Kaindl (Technische Universität Wien)

More

T2: The Correctness by Construction Approach to Programming
July 27 (Monday), 1:30 - 4:30 pm

Professor Ina Schaefer (Technische Universität Braunschweig)
Professor Loek Cleophas (Eindhoven University of Technology)
Mr. Tobias Runge (Technische Universität Braunschweig)
Professor Bruce W. Watson (Stellenbosch University)

More