Processes and data integration in the networked healthcare (track introduction)

Tiziana Margaria, Christoph Rasche

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings
EditorsTiziana Margaria, Tiziana Margaria, Bernhard Steffen
PublisherSpringer Verlag
Pages524-525
Number of pages2
ISBN (Electronic)9783662452301
DOIs
Publication statusPublished - 2014
Externally publishedYes
Event6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece
Duration: 8 Oct 201411 Oct 2014

Publication series

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

Conference

Conference6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
Country/TerritoryGreece
CityImperial, Corfu
Period8/10/1411/10/14

Cite this