Search
Now showing items 1-1 of 1
Formal Verification Techniques for Safety Critical Medical Device Software Control
(North Dakota State University, 2016)
Safety-critical medical devices play an important role in improving patients health and
lifestyle. Faulty behaviors of such devices can cause harm or even death. Often these faulty
behaviors are caused due to bugs in ...