Requirements for a Trace Property Language for Medical Devices.

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

Published in: SEHS@ICSE (2018)

Keyphrases

medical devices
regulatory requirements
finite state machines
three dimensional
language learning
operating room