Challenges for the Dynamic Interconnection of Medical Devices
Title | Challenges for the Dynamic Interconnection of Medical Devices |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Leucker, M |
Conference Name | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II} |
Series | Lecture Notes in Computer Science |
Volume | 8803 |
Publisher | Springer |
URL | http://dx.doi.org/10.1007/978-3-662-45231-8_29 |
DOI | 10.1007/978-3-662-45231-8_29 |
Bibtex:
@inproceedings {1152, title = {Challenges for the Dynamic Interconnection of Medical Devices}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8803}, year = {2014}, publisher = {Springer}, organization = {Springer}, doi = {10.1007/978-3-662-45231-8_29}, url = {http://dx.doi.org/10.1007/978-3-662-45231-8_29}, author = {Martin Leucker} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Elisabeth Schwennen
- Aliyu Ali
- Phillip Bende
- Juljan Bouchagiar
- Tobias Braun
- Gerhard Buntrock
- David Caraveo
- Hannes Kallwies
- Karam Kharraz
- Mohammad Khodaygani
- Maria Ostanina
- Hannes Preiß
- Martin Sachenbacher
- Malte Schmitz
- Uwe Schwennen-Kienitz
- Thomas Sievers
- Annette Stümpel
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact