Browse by Course code: COMP1216

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 3.
  1. [img] [img]
    COMP1216 Coursework 2 (AY2022-23)
    Coursework 2: Event-B modelling of an auction system

    Shared with the University by
    Dr Son Hoang
  2. [img]
    Introduction to Formal Methods & Event-B
    Shared with the University by
    Dr Dana Dghaym
  3. [img] [img]
    COMP1216 - Coursework 1 (AY2022-23)
    Coursework 1 for AY2022-23. UML Modelling for "An Online Auction Service".

    Shared with the University by
    Dr Son Hoang
This list was generated on Fri Jun 14 08:49:22 2024 UTC.