Author:
Su Wen,Chen Jinxin,Khan Shehroz
Publisher
Springer International Publishing
Reference11 articles.
1. Medtronic: Paradigm Real-Time Insulin Pump and Continuous Glucose Monitoring System Insulin Pump User Guide. Medtronic MiniMed Inc. (2008)
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Höfner, P., Khédri, R., Möller, B.: An algebra of product families. Softw. Syst. Model. 10(2), 161–182 (2011)
4. Hoang, T.S., Dghaym, D., Snook, C.F., Butler, M.J.: A composition mechanism for refinement-based methods. In: ICECCS, pp. 100–109 (2017)
5. Abrial, J., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inform. 77(1–2), 1–28 (2007)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023
2. Modeling of Timing Constraints in Hybrid Systems Using Event-B;IEEE Transactions on Reliability;2020-06