Requirements for a Trace Property Language for Medical Devices

Yves Ledru 1, 2 Yoann Blein 2 Lydie Du Bousquet 3, 2 Roland Groz 1, 2 Arnaud Clere Fabrice Bertrand
1 VASCO
LIG - Laboratoire d'Informatique de Grenoble
2 LIG Laboratoire d'Informatique de Grenoble - VASCO
LIG - Laboratoire d'Informatique de Grenoble
3 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
Document type :
Conference papers
Complete list of metadatas

http://hal.univ-grenoble-alpes.fr/hal-02004396
Contributor : Yves Ledru <>
Submitted on : Friday, February 1, 2019 - 5:12:45 PM
Last modification on : Tuesday, February 5, 2019 - 2:33:50 PM

Identifiers

  • HAL Id : hal-02004396, version 1

Collections

Citation

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. ⟨hal-02004396⟩

Share

Metrics

Record views

38