Verification of on-demand medical device networks
We propose a novel method for the automated formal analysis of on-demand medical device networks communicating via an open communication protocol. The resulting toolbox aims at assisting operators of cross-vendor medical device networks in the complex process of conformity assessment. The method is...
| Published in: | Current Directions in Biomedical Engineering |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | English |
| Published: |
De Gruyter
2017-09-01
|
| Subjects: | |
| Online Access: | https://doi.org/10.1515/cdbme-2017-0093 |