International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
Talk
On formalization issues for security, privacy and safety properties to validate best practice designs of platformsfor multi-center-based machine learning for personalized health and care