# Browse by Tags: event b

 Up a level
 Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteExport::Xapian plugin is missing the name parameterHTML CitationJSONMETSMultiline CSVObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference ManagerZip
Number of items: 13.
1. COMP1216 - AY2023-24 - Coursework 2
Event-B Model for a Dentist Appointment System

Shared with the University by
Dr Son Hoang
2. COMP1216 - Coursework 2 (2020-21)
Description of Coursework 2 for COMP1216 (2020-21)

Shared with the University by
Dr Son Hoang
3. COMP1216 - Software Modelling & Design (AY2021-22)
Material for COMP1216 Software Modelling & Design (AY2021-22)

Shared with the University by
Dr Son Hoang
4. COMP1216 Coursework 2 (AY2022-23)
Coursework 2: Event-B modelling of an auction system

Shared with the University by
Dr Son Hoang
5. COMP2214 - Coursework AY2022-23
Shared with the University by
Dr Son Hoang
6. COMP2214 - Coursework AY2023-24
MULTI elevator coursework

Shared with the University by
Dr Son Hoang
7. COMP2214 - Problem Class 00 - Introduction to the Rodin Platform
Shared with the University by
Dr Son Hoang
8. COMP2214 - Problem Class 01 - Deductive Proof (Propositional Logic)
Exercises for Propositional Logic Proof in Rodin Platform

Shared with the University by
Dr Son Hoang
9. COMP2214 - Problem Class 02 - Deductive Proof (Predicate Logic and Set Theory)
Exercises for Predicate Logic and Set Theory Proof in Rodin Platform

Shared with the University by
Dr Son Hoang
10. COMP2214 - Problem Class 03 - Model a Routing System
Model a Routing System using transitive closure

Shared with the University by
Dr Son Hoang
11. COMP2214 - Problem Class 08 - Elevator System in SPARK
Exercise using the Elevator System in SPARK

Shared with the University by
Dr Son Hoang
12. COMP2214 Lecture - Event-B to SPARK
This lecture about data refinement from Event-B models and generating SPARK/Ada from the model

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

Shared with the University by
Dr Son Hoang
This list was generated on Fri Sep 13 12:31:54 2024 UTC.