ELG 7187C - Topics in Computers: Model-Based Design and Verification of Distributed Real-Time Systems
( Previous title: Formal
Methods for the Development of Distributed Real-Time Applications )
School of Information
Technology and Engineering, University of Ottawa, Winter 2013
For the OCICS program, this course
has the code E/T (Software Engineering / Theory of Computing)
Professor: Gregor v. Bochmann
, phone: 562-5800 ext.: 6205, e-mail: firstname.lastname@example.org , office:
SITE building (room 5082), office hours: by appointment, please send me an e-mail stating when
you would like to meet
Mondays from 14:30 to 17:30 in SITE F 0126.
- The course starts this Monday, January 14.
get a computer account at SITE for Carleton students: Carleton students registered in our graduate courses are now able to activate their accounts for the SITE computing infrastructure; details on how to proceed are available in our online documentation (http://www.site.uottawa.ca/local/labinfo), specifically at item 'Carleton Students Account Information' of the Account Information section. Note that they need to use their Carleton student ID, as they may not have uOttawa student IDs...
Last update:January 9, 2013