Browsing by Author "Shuja, Sana"
Now showing items 1-1 of 1
-
Formal Verification Techniques for Safety Critical Medical Device Software Control
Shuja, Sana (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 ...