"A Formal Framework for Modelling and Validating Medical Systems."

George Eleftherakis (2001)

Details and statistics

DOI: 10.3233/978-1-60750-928-8-13

access: open

type: Conference or Workshop Paper

metadata version: 2021-02-03

a service of  Schloss Dagstuhl - Leibniz Center for Informatics