Hemodialysis Machine in Hybrid Event-B
暂无分享,去创建一个
A. Mashkoor | K. Schewe | M. Biro | K-D. Schewe | A. Mashkoor | M. Biro
[1] Atif Mashkoor. The Hemodialysis Machine Case Study , 2016, ABZ.
[2] Ulrike Wirth. Component Based Software Development Case Studies , 2016 .
[3] Shengchao Qin,et al. Core Hybrid Event-B I: Single Hybrid Event-B machines , 2015, Sci. Comput. Program..
[4] Judith Z. Kallenbach Msn Rn Cnn. Review of Hemodialysis for Nurses and Dialysis Personnel , 2020 .
[5] Richard Banach. The landing gear system in multi-machine Hybrid Event-B , 2015, International Journal on Software Tools for Technology Transfer.
[6] Shengchao Qin,et al. Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines , 2017, Sci. Comput. Program..
[7] Jean-Raymond Abrial,et al. Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.
[8] A. Nissenson,et al. Handbook of Dialysis Therapy , 2008 .
[9] Richard Banach. The Landing Gear Case Study in Hybrid Event-B , 2014, ABZ.
[10] Richard Banach,et al. Composition mechanisms for retrenchment , 2008, J. Log. Algebraic Methods Program..
[11] Ivica Crnkovic,et al. Building Reliable Component-Based Software Systems , 2002 .
[12] Richard Banach. Hemodialysis Machine in Hybrid Event-B , 2016, ABZ.
[13] Suhail Ahmad,et al. Manual of Clinical Dialysis , 2003 .
[14] Susan Stepney,et al. Engineering and theoretical underpinnings of retrenchment , 2007, Sci. Comput. Program..
[15] Richard Banach,et al. Retrenchment and refinement interworking: the tower theorems , 2015, Math. Struct. Comput. Sci..
[16] J. Daugirdas,et al. Handbook of Dialysis , 1988 .
[17] George T. Heineman,et al. Component-Based Software Engineering: Putting the Pieces Together , 2001 .