A Methodology forDesigning High Confidence Pattern viaEventB: Insulin Infusion Pump Case Study
Journal title: IOSR Journals (IOSR Journal of Computer Engineering)
Authors: Eman K. Elsayed, Enas E. El- Sharawy, Linda O.El- Badri
Subject(s):
Journal title: IOSR Journals (IOSR Journal of Computer Engineering)
Authors: Eman K. Elsayed, Enas E. El- Sharawy, Linda O.El- Badri
Subject(s):