Skip to main content »

Trinity College Dublin

Dublin University Crest Department of Computer Science > Reactive Systems 2010 Lecture Material Trinity College Crest
 Reactive Systems Home
 Reading List
 Lecture Material
 Worksheets
 Lecture Progress
 Assignments
 Verification Tools
 

Reactive Systems - 2010: Lecture material

The lecture material will be based directly on the course textbook, and lecture slides taken from the textbook website, Reactive Systems homepage . This will be augmented by examples on the blackboard.

Topics to be covered:

Email  WebAdmin @ cs.tcd.ie