Author:
Babin Guillaume,Aït-Ameur Yamine,Singh Neeraj Kumar,Pantel Marc
Publisher
Springer International Publishing
Reference10 articles.
1. Models.
http://babin.perso.enseeiht.fr/r/ABZ_2016_Models/
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)
3. Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in event-B. International Journal on Software Tools for Technology Transfer 12(6), 447–466 (2010).
http://dx.doi.org/10.1007/s10009-010-0145-y
4. Lecture Notes in Computer Science;G Babin,2015
5. Babin, G., Ait-Ameur, Y., Pantel, M.: A generic model for system substitution. In: Romanovsky, A., Ishikawa, F. (eds.) Trustworthy Cyber Physical Systems Engineering. CRC Press Taylor & Francis Group (2016)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献