Medical cyber-physical systems (Track introduction)

Ezio Bartocci; Sicun Gao; Scott A. Smolka

doi:10.1007/978-3-662-45231-8_25

Medical cyber-physical systems (Track introduction)

Ezio Bartocci
, Sicun Gao
, Scott A. Smolka

Computer Science

TU Wien
Carnegie Mellon University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings
Editors	Tiziana Margaria, Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	353-355
Number of pages	3
ISBN (Electronic)	9783662452301
DOIs	https://doi.org/10.1007/978-3-662-45231-8_25
State	Published - 2014
Event	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece Duration: Oct 8 2014 → Oct 11 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8803
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
Country/Territory	Greece
City	Imperial, Corfu
Period	10/8/14 → 10/11/14

Access to Document

10.1007/978-3-662-45231-8_25

Cite this

Bartocci, E., Gao, S., & Smolka, S. A. (2014). Medical cyber-physical systems (Track introduction). In T. Margaria, T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings (pp. 353-355). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8803). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8_25

Bartocci, Ezio ; Gao, Sicun ; Smolka, Scott A. / Medical cyber-physical systems (Track introduction). Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. editor / Tiziana Margaria ; Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2014. pp. 353-355 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{097013e9942a44f0b11451c8f94bb11c,

title = "Medical cyber-physical systems (Track introduction)",

author = "Ezio Bartocci and Sicun Gao and Smolka, \{Scott A.\}",

year = "2014",

doi = "10.1007/978-3-662-45231-8\_25",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "353--355",

editor = "Tiziana Margaria and Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings",

note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

}

Bartocci, E, Gao, S & Smolka, SA 2014, Medical cyber-physical systems (Track introduction). in T Margaria, T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8803, Springer Verlag, pp. 353-355, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu, Greece, 10/8/14. https://doi.org/10.1007/978-3-662-45231-8_25

Medical cyber-physical systems (Track introduction). / Bartocci, Ezio; Gao, Sicun; Smolka, Scott A.
Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. ed. / Tiziana Margaria; Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2014. p. 353-355 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8803).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Medical cyber-physical systems (Track introduction)

AU - Bartocci, Ezio

AU - Gao, Sicun

AU - Smolka, Scott A.

PY - 2014

Y1 - 2014

UR - https://www.scopus.com/pages/publications/84910618312

U2 - 10.1007/978-3-662-45231-8_25

DO - 10.1007/978-3-662-45231-8_25

M3 - Conference contribution

AN - SCOPUS:84910618312

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 353

EP - 355

BT - Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

Y2 - 8 October 2014 through 11 October 2014

ER -

Bartocci E, Gao S, Smolka SA. Medical cyber-physical systems (Track introduction). In Margaria T, Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Springer Verlag. 2014. p. 353-355. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-45231-8_25

Medical cyber-physical systems (Track introduction)

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this