Journals
Publish with us
Publishing partnerships
About us
Blog
Journal of Electrical and Computer Engineering
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Journal of Electrical and Computer Engineering
/
2015
/
Article
/
Fig 3
/
Research Article
A Formal Verification Methodology for DDD Mode Pacemaker Control Programs
Figure 3
UPPAAL model of formal specification model.