Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements-Reference-Cited by-同舟云学术

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements

Published:2015 Issue: Volume: Page:387-398
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Singh Neeraj Kumar,Wang Hao,Lawford Mark,Maibaum Thomas S. E.,Wassyng Alan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-21070-4_39

Reference18 articles.

1. Carayon, P., Wood, K.E.: Patient safety. Inf. Knowl. Syst. Manag. 8(1–4), 23–46 (2009)

2. Lecture Notes in Computer Science;Y Chen,2014

3. Lecture Notes in Computer Science;NK Singh,2014

4. Keatley, K.L.: A review of the FDA draft guidance document for software validation: guidance for industry. Qual. Assur. 7(1), 49–55 (1999)

5. A reseach and development needs report by NITRD: high-confidence medical devices: cyber-physical systems for 21st century health care. http://www.nitrd.gov/About/MedDevice-FINAL1-web.pdf

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal domain-driven system development in Event-B: Application to interactive critical systems;Journal of Systems Architecture;2023-02

2. Formal verification and code generation for solidity smart contracts;Distributed Computing to Blockchain;2023

3. MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information;JUCS - Journal of Universal Computer Science;2022-05-28

4. A secure insulin infusion system using verification monitors;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20

5. Trustworthy smart city systems using refinement and Event-B Theories;Multimedia Tools and Applications;2021-09-14