External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal

Tiziana Margaria, Barry D. Floyd, Rodolfo Gonzalez Camargo, Anna-Lena Lamprecht, Johannes Neubauer, Marilia Seelaender. Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal. In Tiziana Margaria, Bernhard Steffen, editors, 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. Volume 8803 of Lecture Notes in Computer Science, pages 526-544, Springer, 2014. [doi]

Authors

Tiziana Margaria

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

Barry D. Floyd

This author has not been identified. Look up 'Barry D. Floyd' in Google

Rodolfo Gonzalez Camargo

This author has not been identified. Look up 'Rodolfo Gonzalez Camargo' in Google

Anna-Lena Lamprecht

This author has not been identified. Look up 'Anna-Lena Lamprecht' in Google

Johannes Neubauer

This author has not been identified. Look up 'Johannes Neubauer' in Google

Marilia Seelaender

This author has not been identified. Look up 'Marilia Seelaender' in Google
runs on