4 research outputs found

    Method of UML Statechart Checking Based on Explicit Model Checking

    No full text
    corecore