yves Ledru, yoann Blein, Lydie Du Bousquet, Roland Groz, Arnaud Clere, et al.. Requirements for a Trace Property Language for Medical Devices.
the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden.
⟨10.1145/3194696.3194699⟩.
⟨hal-02004396⟩