View source for Mohammad Mousavi's Past Courses

* System Validation, 2011-2013, TU Delft, The Netherlands. Slides, recorded lectures and lecture notes available from the [http://ocw.tudelft.nl/courses/computerscience/systemvalidation/course-home/ 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.



==[[Mohammad Mousavi | Back to Home]]==