Conference
Requirements for a Trace Property Language for Medical Devices
| Title: | Requirements for a Trace Property Language for Medical Devices |
|---|---|
| Authors: | Ledru, Yves, Blein, Yoann, du Bousquet, Lydie, Groz, Roland, Clere, Arnaud, Bertrand, Fabrice |
| Source: | 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems (SEHS) SEHS Software Engineering in Healthcare Systems (SEHS), 2018 IEEE/ACM International Workshop on. :30-33 May, 2018 |
| Relation: | 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems (SEHS) |
| Database: | IEEE Xplore Digital Library |