Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation
暂无分享,去创建一个
[1] Atif Mashkoor. The Hemodialysis Machine Case Study , 2016, ABZ.
[2] Michael J. Butler,et al. Co-simulating event-B and continuous models via FMI , 2014, SummerSim.
[3] 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.
[4] Michael Leuschel,et al. Visualising Event-B Models with B-Motion Studio , 2009, FMICS.
[5] Jean-Raymond Abrial,et al. Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.
[6] Colin Snook. Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines , 2011 .
[7] Thai Son Hoang,et al. An Introduction to the Event-B Modelling Method , 2013 .