24 citations · 37 across the 10 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019★ 1 cited
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang +2
Improving the effectiveness and safety of patient care is the ultimate objective for medical cyber-physical systems. Many medical best practice guidelines exist, but most of the ex…
cs.SE2017
Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis
Mohammad Hosseini, Richard Berlin, Lui Sha +2
Model-based development is a widely-used method to describe complex systems that enables the rapid prototyping. Advances in the science of distributed systems has led to the develo…