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

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    18 Lataukset (Pure)

    Sormenjälki

    Sukella tutkimusaiheisiin 'A Methodology for integration of formal methods in a healthcare case study'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

    Computer Science