A Methodology for integration of formal methods in a healthcare case study

Luigia Petre, Elena Troubitsyna, Marina Walden, Pontus Boström, Niklas Engblom, Micaela Jansson

    Research output: Book/Journal/ReportCommissioned reportProfessional

    13 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'A Methodology for integration of formal methods in a healthcare case study'. Together they form a unique fingerprint.

    Computer Science

    Physics

    Engineering

    Pharmacology, Toxicology and Pharmaceutical Science