Bachelor and Master Theses

Title: Runtime Verification Of A PLC System: An Industrial Case Study
Subject:
Level: Advanced
Description:
Start date: 2017-01-16
Prel. end date: 2017-06-01
Presentation date: 2017-06-01
Student: Mohammad Heidari mhi15001@student.mdh.se
IDT supervisor: Adnan Causevic
adnan.causevic@mdh.se, 021-101689
Examinator: Daniel Sundmark
Daniel Sundmark
daniel.sundmark@mdh.se, +46-21-103145

Rapport och bilagor

Size

Senaste uppdatering


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.10.14