This small Web page tabulates information for the Sokendai students of NII, Tokyo, Japan.

Slides

Slides with holes

  • Part 0: introduction
  • Part 1: finite-state automata
  • Part 2: timed automata
  • Part 3 (bonus): parametric timed automata

Paper version with holes (black and white, 4 slides per page)

  • Part 0: introduction
  • Part 1: finite-state automata
  • Part 2: timed automata
  • Part 3 (bonus): parametric timed automata

Project

Links

License

These slides can be reused under the conditions of their respective licenses, in general Creative Commons CC BY-NC-SA 4.0; author: Étienne André.

LaTeX source available on demand for teaching staff (lecturers, professors…).