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.

Modelling and Verification of an Application for Managing Sensitive Health Data

Almo Cuci, Umar Ozeer, Gwen Salaün. Modelling and Verification of an Application for Managing Sensitive Health Data. In Giovanna Broccia, Antonio Cerone, editors, From Data to Models and Back - 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers. Volume 14618 of Lecture Notes in Computer Science, pages 127-141, Springer, 2023. [doi]

Authors

Almo Cuci

This author has not been identified. Look up 'Almo Cuci' in Google

Umar Ozeer

This author has not been identified. Look up 'Umar Ozeer' in Google

Gwen Salaün

This author has not been identified. It may be one of the following persons: Look up 'Gwen Salaün' in Google
runs on