search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Engineering Interactive Systems #18

Open jff opened 5 years ago

jff commented 5 years ago

Issue by luigiapetre Friday Jun 01, 2018 at 21:41 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/18

Course code, if applicable: COMP426 University hosting the course: The University of Waikato Contact person: Judy Bowen, judy.bowen@waikato.ac.nz Concepts taught: Formal specification of interactive systems Tools used: Webpage: https://paperoutlines.waikato.ac.nz/outline/COMP426-17B%20(HAM)