Article dans une revue, LaHDAK, Génie logiciel, Informatique
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⟩