Article dans une revue, LaHDAK, Génie logiciel

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, Springer Verlag, In press, ⟨10.1007/s11334-019-00357-z⟩. ⟨hal-02425142⟩

Publié le