Verification of clinical guidelines by model checking

Beatriz Pérez*, Ivan Porres

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

7 Sitaatiot (Scopus)

Sormenjälki

Sukella tutkimusaiheisiin 'Verification of clinical guidelines by model checking'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Ingenjörs- och materialvetenskap

Medicin och livsvetenskap