9 citations · 9 across the 1 of their papers we have counts for
1 paper · 1 filter
Mu Sun, José Meseguer
Safety of medical devices and of their interoperation is an unresolved issue causing severe and sometimes deadly accidents for patients with shocking frequency. Formal methods, par…