COMP2214 - Coursework AY2023-24

LoadingLoading previews...
coursework-descriptions.pdf
Text 		Download (328kB)
    coursework-descriptions.pdf
    coursework-descriptions.pdf
    multi_elevator.zip
    multi_elevator.zip
    2 files in this resource

    COMP2214 - Coursework AY2023-24

    MULTI elevator coursework

    Added By:
    Dr Son Hoang
    Date Added: 12 Mar 2024 22:02
    Creators Name:
    Dr Son Hoang
    Tags: SPARK/Ada, software engineering, formal methods, Event-B
    Viewing permissions: University
    Course codes: COMP2214
    Link: http://edshare.soton.ac.uk/id/eprint/21931
    Downloads & Views
    View Item

    Toolbox

    There are no actions available for this resource.

    Collection(s)