Fault Manifestability Verification for Discrete Event Systems.

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandn Briones, Agnes Madalinski

Browse the full ECAI paper archive.