Formal Logic Based Heart-Model
Author:
Singh Neeraj Kumar
Publisher
Springer London
Reference40 articles.
1. Abrial, J.-R. (2010). Modeling in Event-B: System and software engineering (1st ed.). New York: Cambridge University Press.
2. Adam, D. R. (1991). Propagation of depolarization and repolarization processes in the myocardium—an anisotropic model. IEEE Transactions on Biomedical Engineering, 38(2), 133–141.
3. Artigou, J. Y., & Monsuez, J. J. (2007). Cardiologie et maladies vasculaires. Paris: Elsevier Masson.
4. Back, R. J. R. (1981). On correct refinement of programs. Journal of Computer and System Sciences, 23(1), 49–68.
5. Barold, S. S., Stroobandt, R. X., & Sinnaeve, A. F. (2004). Cardiac pacemakers step by step. London: Futura. ISBN 1-4051-1647-1.