Info Slides Lecture 01: Introduction (annotated slides, 2-up for printing) Lecture 01: Introduction (annotated slides, 2-up for printing) - Read More… Lecture 01: Introduction (annotated slides, 6-up for printing) Lecture 01: Introduction (annotated slides, 6-up for printing) - Read More… Lecture 01: Introduction (annotated slides) Lecture 01: Introduction (annotated slides) - Read More… Lecture 02: Timed Behaviour (annotated slides, 2-up for printing) Lecture 02: Timed Behaviour (annotated slides, 2-up for printing) - Read More… Lecture 02: Timed Behaviour (annotated slides, 6-up for printing) Lecture 02: Timed Behaviour (annotated slides, 6-up for printing) - Read More… Lecture 02: Timed Behaviour (annotated slides) Lecture 02: Timed Behaviour (annotated slides) - Read More… Lecture 03: Duration Calculus I (annotated slides, 2-up for printing) Lecture 03: Duration Calculus I (annotated slides, 2-up for printing) - Read More… Lecture 03: Duration Calculus I (annotated slides, 6-up for printing) Lecture 03: Duration Calculus I (annotated slides, 6-up for printing) - Read More… Lecture 03: Duration Calculus I (annotated slides) Lecture 03: Duration Calculus I (annotated slides) - Read More… Lecture 04: Duration Calculus II (annotated slides, 2-up for printing) Lecture 04: Duration Calculus II (annotated slides, 2-up for printing) - Read More… Lecture 04: Duration Calculus II (annotated slides, 6-up for printing) Lecture 04: Duration Calculus II (annotated slides, 6-up for printing) - Read More… Lecture 04: Duration Calculus II (annotated slides) Lecture 04: Duration Calculus II (annotated slides) - Read More… Lecture 05: Duration Calculus III (annotated slides, 2-up for printing) Lecture 05: Duration Calculus III (annotated slides, 2-up for printing) - Read More… Lecture 05: Duration Calculus III (annotated slides, 6-up for printing) Lecture 05: Duration Calculus III (annotated slides, 6-up for printing) - Read More… Lecture 05: Duration Calculus III (annotated slides) Lecture 05: Duration Calculus III (annotated slides) - Read More… Lecture 06: DC Properties I (annotated slides, 2-up for printing) Lecture 06: DC Properties I (annotated slides, 2-up for printing) - Read More… Lecture 06: DC Properties I (annotated slides, 6-up for printing) Lecture 06: DC Properties I (annotated slides, 6-up for printing) - Read More… Lecture 06: DC Properties I (annotated slides) Lecture 06: DC Properties I (annotated slides) - Read More… Lecture 07: DC Properties II (annotated slides, 2-up for printing) Lecture 07: DC Properties II (annotated slides, 2-up for printing) - Read More… Lecture 07: DC Properties II (annotated slides, 6-up for printing) Lecture 07: DC Properties II (annotated slides, 6-up for printing) - Read More… Lecture 07: DC Properties II (annotated slides) Lecture 07: DC Properties II (annotated slides) - Read More… Lecture 08: DC Implementables (annotated slides, 2-up for printing) Lecture 08: DC Implementables (annotated slides, 2-up for printing) - Read More… Lecture 08: DC Implementables (annotated slides, 6-up for printing) Lecture 08: DC Implementables (annotated slides, 6-up for printing) - Read More… Lecture 08: DC Implementables (annotated slides) Lecture 08: DC Implementables (annotated slides) - Read More… Lecture 09: PLC Automata (annotated slides, 2-up for printing) Lecture 09: PLC Automata (annotated slides, 2-up for printing) - Read More… Lecture 09: PLC Automata (annotated slides, 6-up for printing) Lecture 09: PLC Automata (annotated slides, 6-up for printing) - Read More… Lecture 09: PLC Automata (annotated slides) Lecture 09: PLC Automata (annotated slides) - Read More… Lecture 10: Timed Automata (annotated slides, 2-up for printing) Lecture 10: Timed Automata (annotated slides, 2-up for printing) - Read More… Lecture 10: Timed Automata (annotated slides, 6-up for printing) Lecture 10: Timed Automata (annotated slides, 6-up for printing) - Read More… Lecture 10: Timed Automata (annotated slides) Lecture 10: Timed Automata (annotated slides) - Read More… Lecture 11: Networks of TA (annotated slides, 2-up for printing) Lecture 11: Networks of TA (annotated slides, 2-up for printing) - Read More… Lecture 11: Networks of TA (annotated slides, 6-up for printing) Lecture 11: Networks of TA (annotated slides, 6-up for printing) - Read More… Lecture 11: Networks of TA (annotated slides) Lecture 11: Networks of TA (annotated slides) - Read More… Lecture 12: Location Reachability (or: The Region Automaton) (annotated slides, 2-up for printing) Lecture 12: Location Reachability (or: The Region Automaton) (annotated slides, 2-up for printing) - Read More… Lecture 12: Location Reachability (or: The Region Automaton) (annotated slides, 6-up for printing) Lecture 12: Location Reachability (or: The Region Automaton) (annotated slides, 6-up for printing) - Read More… Lecture 12: Location Reachability (or: The Region Automaton) (annotated slides) Lecture 12: Location Reachability (or: The Region Automaton) (annotated slides) - Read More… Lecture 13: Zones (annotated slides, 2-up for printing) Lecture 13: Zones (annotated slides, 2-up for printing) - Read More… Lecture 13: Zones (annotated slides, 6-up for printing) Lecture 13: Zones (annotated slides, 6-up for printing) - Read More… Lecture 13: Zones (annotated slides) Lecture 13: Zones (annotated slides) - Read More… Lecture 14: Extended Timed Automata (annotated slides, 2-up for printing) Lecture 14: Extended Timed Automata (annotated slides, 2-up for printing) - Read More… Lecture 14: Extended Timed Automata (annotated slides, 6-up for printing) Lecture 14: Extended Timed Automata (annotated slides, 6-up for printing) - Read More… Lecture 14: Extended Timed Automata (annotated slides) Lecture 14: Extended Timed Automata (annotated slides) - Read More… Lecture 15: Automatic Verification of DC Properties for TA (annotated slides, 2-up for printing) Lecture 15: Automatic Verification of DC Properties for TA (annotated slides, 2-up for printing) - Read More… Lecture 15: Automatic Verification of DC Properties for TA (annotated slides, 6-up for printing) Lecture 15: Automatic Verification of DC Properties for TA (annotated slides, 6-up for printing) - Read More… Lecture 15: Automatic Verification of DC Properties for TA (annotated slides) Lecture 15: Automatic Verification of DC Properties for TA (annotated slides) - Read More… Lecture 16: The Universality Problem for TBA (annotated slides, 2-up for printing) Lecture 16: The Universality Problem for TBA (annotated slides, 2-up for printing) - Read More… Lecture 16: The Universality Problem for TBA (annotated slides, 6-up for printing) Lecture 16: The Universality Problem for TBA (annotated slides, 6-up for printing) - Read More… Lecture 16: The Universality Problem for TBA (annotated slides) Lecture 16: The Universality Problem for TBA (annotated slides) - Read More… Lecture 17: The Universality Problem for TBA Cont'd (annotated slides, 2-up for printing) Lecture 17: The Universality Problem for TBA Cont'd (annotated slides, 2-up for printing) - Read More… Lecture 17: The Universality Problem for TBA Cont'd (annotated slides, 6-up for printing) Lecture 17: The Universality Problem for TBA Cont'd (annotated slides, 6-up for printing) - Read More… Lecture 17: The Universality Problem for TBA Cont'd (annotated slides) Lecture 17: The Universality Problem for TBA Cont'd (annotated slides) - Read More…