2 research outputs found

    Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts

    No full text
    corecore