Browse by Course code: COMP1216

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 17.
  1. [img]
    Proof-based verification in Event-B
    Shared with the University by
    Dr Dana Dghaym
  2. [img]
    Modelling Partitioned States
    Shared with the University by
    Dr Dana Dghaym
  3. [img]
    Extending Access Control Model with Tokens and Time
    Shared with the University by
    Dr Dana Dghaym
  4. [img]
    Exercise using extension refinement
    Shared with the University by
    Dr Dana Dghaym
  5. [img]
    Modelling Collection of Lists
    Shared with the University by
    Dr Dana Dghaym
  6. [img]
    Modelling Lists and Queues in Event-B
    Shared with the University by
    Dr Dana Dghaym
  7. [img]
    Extending Event-B Models
    Shared with the University by
    Dr Dana Dghaym
  8. [img]
    Modelling Classes
    Shared with the University by
    Dr Dana Dghaym
  9. [img]
    Exercise on Relations & Functions
    Shared with the University by
    Dr Dana Dghaym
  10. [img]
    More on Relations and Functions
    Shared with the University by
    Dr Dana Dghaym
  11. [img]
    Functions & Relations
    Shared with the University by
    Dr Dana Dghaym
  12. [img]
    Relations
    Shared with the University by
    Dr Dana Dghaym
  13. [img]
    Introducing Event-B part2
    Shared with the University by
    Dr Dana Dghaym
  14. [img] [img]
    COMP1216 - Coursework 1 (AY2021-22)
    Coursework 1. Requirements Analysis, Specification, and Design of a COVID vaccination tracking system

    Shared with the University by
    Dr Son Hoang
  15. [img]
    Introducing Event-B
    Shared with the University by
    Dr Dana Dghaym
  16. [img] [img]
    UML Class Diagrams
    Shared with the University by
    Dr Mohammad Soorati
  17. [img]
    COMP 1216- Week 1 Lecture 1- Introduction
    Shared with the University by
    Dr Luis-Daniel Ibáñez
This list was generated on Sat Dec 21 15:42:31 2024 UTC.