Digital Twins for Organ Preservation Devices

Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen. Digital Twins for Organ Preservation Devices. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV. Volume 13704 of Lecture Notes in Computer Science, pages 22-36, Springer, 2022. [doi]

Authors

Aaron John Buhagiar

This author has not been identified. Look up 'Aaron John Buhagiar' in Google

Leo Freitas

This author has not been identified. Look up 'Leo Freitas' in Google

William E. Scott III

This author has not been identified. Look up 'William E. Scott III' in Google

Peter Gorm Larsen

This author has not been identified. Look up 'Peter Gorm Larsen' in Google