1 research outputs found

    Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures

    No full text
    corecore