Mohammad Mousavi's Past Courses
From CERES
- System Validation, 2011-2013, TU Delft, The Netherlands. Slides, recorded lectures and lecture notes available from the Delft Open CourseWare site.
- Software Specification, 2007-2013, TU Eindhoven, The Netherlands.
- Software Testing, 2007-2013. TU Eindhoven, The Netherlands.
- Computational Networks (5JJ50), 2006 and 2011-2012. TU Eindhoven, The Netherlands.
- Structured Operational Semantics, Short Course at ESSLLI 2010, University of Copenhagen, Denmark.
- Logic and Set Theory, 2005 and 2008. TU Eindhoven, The Netherlands.
- OGO (Design-Oriented Education) Project 1.3, 2006-2007. TU Eindhoven, The Netherlands.
- Aspects of Programming Languages, 2007. TU Eindhoven, The Netherlands.
- Automata and Processes, 2005. TU Eindhoven, The Netherlands.
