1 research outputs found

    Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software

    No full text
    corecore