Open jff opened 5 years ago
Issue by luigiapetre Wednesday Apr 10, 2019 at 06:29 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/43
Course code, if applicable: University hosting the course: Canvas MOOC Platform Contact person: Mohammad Reza Mousavi, mm789@le.ac.uk Concepts taught: Formal Verification, Model Checking, Process Algebra, Behavioural Equivalences Tools used: mCRL2 Webpage: https://www.canvas.net/browse/halmstad/courses/system-validation, https://ocw.tudelft.nl/courses/system-validation/ Year/Level: MSc
Course code, if applicable: University hosting the course: Canvas MOOC Platform Contact person: Mohammad Reza Mousavi, mm789@le.ac.uk Concepts taught: Formal Verification, Model Checking, Process Algebra, Behavioural Equivalences Tools used: mCRL2 Webpage: https://www.canvas.net/browse/halmstad/courses/system-validation, https://ocw.tudelft.nl/courses/system-validation/ Year/Level: MSc