Article dans une revue, LaHDAK, Computer Science, Génie logiciel, Software Engineering

How to be sure a faulty system does not always appear healthy?

Philippe Dague, Lulu He, Lina Ye. How to be sure a faulty system does not always appear healthy?: Fault manifestability analysis for discrete event and timed systems. Innovations in Systems and Software Engineering, In press, ⟨10.1007/s11334-019-00357-z⟩. ⟨hal-02425142⟩

Published on