You are here

Home › Research › Publications ›

Challenges for the Dynamic Interconnection of Medical Devices

TitleChallenges for the Dynamic Interconnection of Medical Devices
Publication TypeConference Paper
Year of Publication2014
AuthorsLeucker, M
Conference NameLeveraging 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}
SeriesLecture Notes in Computer Science
Volume8803
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-662-45231-8_29
DOI10.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}
}