![](/img/cover-not-exists.png)
A Formal Verification Methodology for DDD Mode Pacemaker Control Programs
Shuja, Sana, Srinivasan, Sudarshan K., Jabeen, Shaista, Nawarathna, DharmakeerthiVolume:
2015
Year:
2015
Language:
english
Journal:
Journal of Electrical and Computer Engineering
DOI:
10.1155/2015/939028
File:
PDF, 1.42 MB
english, 2015