Michel Balser is an author at TU Wien specializing in formal verification, health informatics, and verification.
Top concepts
MedicineEngineeringVerificationFormal MethodsPatient SafetyEmergency MedicineHealth InformaticsFormal Verification
Publications per year
2006–2006
1
1
Improving medical protocols by formal methods
Annette ten Teije, Mar Marcos, Michel Balser et al. · Artificial Intelligence in Medicine · 2006 · 115 citations · Full text
Rows per page
1–1 of 1