Modelling Dojo: The SmarTaxi Case Study

LoadingLoading previews...
Introduction
Text Creative Commons: Attribution-Noncommercial-Share Alike 4.0
Download (202kB)
    Introduction
    Introduction
    Entity Relationship Diagrams
    Entity Relationship Diagrams
    Rodin model archive
    Rodin model archive
    Event-B model (print)
    Event-B model (print)
    4 files in this resource

    Modelling Dojo: The SmarTaxi Case Study

    We illustrate the modelling activities using the SmarTaxi Case Study

    View Item

    Toolbox

    There are no actions available for this resource.