Browse by Course code: COMP1216

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 4.
  1. [img]
    COMP1216 - Coursework 2 (2020-21)
    Description of Coursework 2 for COMP1216 (2020-21)

    Shared with the University by
    Dr Son Hoang
  2. [img]
    COMP1216 - Coursework 1 (2020-21)
    COMP1216 Coursework 1 for the academic year 2020-21.

    Shared with the University by
    Dr Son Hoang
  3. [img] [img]
    Modelling Dojo: The SmarTaxi Case Study
    We illustrate the modelling activities using the SmarTaxi Case Study

    Shared with the University by
    Dr Son Hoang
  4. [img]
    COMP1216 - Lecture 07 - Introducing Event-B
    Introducing Event-B (Contexts, machines)

    Shared with the University by
    Dr Son Hoang
This list was generated on Sat Apr 27 00:35:05 2024 UTC.