Requirements for a Trace Property Language for Medical Devices.

Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand

Browse the full ICSE paper archive.