Serge Autexier’s Post

"What is better than formal methods to have safe and secure systems and procedures for healthcare IT systems?". Using the development and deployment of the IT platform we designed in the RE-SAMPLE project that was the motivation for my talk "On formalization issues for security and safety properties to validate best practice designs of platforms for multi-center-based machine learning for personalised health and care" at the AISoLA 2024 https://lnkd.in/dcCiA5RZ. Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) #HEALTHIT

  • No alternative text description for this image

To view or add a comment, sign in

Explore topics