Educational web pages of J.F. Groote

System Validation is available on Coursera. This a book supports this course. Note that passing this course on Coursera does not exempt from passing the course at TU/e.

Courses in 2018-2019 (pages refer to canvas.tue.nl where course information can be found).

• 2IMF30 System Validation (former course codes 2IW26, 2IW25).
• 2IC30 Computer Systems.
• 2IWAO Automotive Software Engineering.
• 2IMF05 Capita Selecta Formal System Analysis.

Old pages

• 2IC30 Computer Systems.
• 2IW26 System Validation.
• 2IWAO Automotive Software Engineering.
• 2IF96 Seminar FSA.
• 2IC30 Computer Systems.
• 2IW26 System Validation.
• 0LCB0 Introduction to modelling: Process modelling.
• 2IW26 System Validation.
• 2IW60 Software system engineering.
• 2IW26 System Validation.
• 0LCB0 Introduction to modelling: Process modelling.
• OOTI Course System Validation.
• 2IW26 System Validation.
• 2IW60 Software system engineering.
• 2IT15 Automata and process theory.
• 2IW26 System Validation.
• 2IW60 Software system engineering.
• 2IT19 Formele talen en beslisbaarheid.