Processes and Data Integration in the Networked Healthcare

Andrea Braun von Reinersdorff, Tiziana Margaria, Christoph Rasche. Processes and Data Integration in the Networked Healthcare. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Volume 7610 of Lecture Notes in Computer Science, pages 67-69, Springer, 2012. [doi]

Authors

Andrea Braun von Reinersdorff

This author has not been identified. Look up 'Andrea Braun von Reinersdorff' in Google

Tiziana Margaria

This author has not been identified. Look up 'Tiziana Margaria' in Google

Christoph Rasche

This author has not been identified. Look up 'Christoph Rasche' in Google