Formalizing electrocardiogram (ECG) signal behavior in event-B
暂无分享,去创建一个
[1] Jean-Raymond Abrial,et al. Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.
[2] Ken Grauer. A practical guide to ECG interpretation , 1998 .
[3] Nancy G. Leveson,et al. An investigation of the Therac-25 accidents , 1993, Computer.
[4] Mahmoud Al-Qutayri,et al. A verification methodology for a wireless body sensor network functionality , 2014, IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI).
[5] Lui Sha,et al. Model-Based Analysis of Wireless System Architectures for Real-Time Applications , 2013, IEEE Transactions on Mobile Computing.
[6] Javier García-Niebla,et al. Technical Mistakes during the Acquisition of the Electrocardiogram , 2009, Annals of noninvasive electrocardiology : the official journal of the International Society for Holter and Noninvasive Electrocardiology, Inc.
[7] Jonathan P. Bowen,et al. Formal Methods: State of the Art and New Directions , 2009 .
[8] Jean-Raymond Abrial,et al. Faultless Systems: Yes We Can! , 2009, Computer.
[9] Raoul Praful Jetley,et al. A formal methods approach to medical device review , 2006, Computer.
[10] Faïza Najjar,et al. A Formal Specification Model of Survivability for Pervasive Systems , 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications.
[11] Dominique Méry,et al. Closed-Loop Modeling of Cardiac Pacemaker and Heart , 2012, FHIES.
[12] Mahmoud Al-Qutayri,et al. Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems , 2013, 2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS).
[13] Insup Lee,et al. Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example , 2013, EICS '13.
[14] Thai Son Hoang,et al. Rodin: an open toolset for modelling and reasoning in Event-B , 2010, International Journal on Software Tools for Technology Transfer.
[15] Dominique Méry,et al. Medical Protocol Diagnosis Using Formal Methods , 2011, FHIES.