Author:
Boniol Frédéric,Wiels Virginie,Aït-Ameur Yamine,Schewe Klaus-Dieter
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference13 articles.
1. Abrial, J.: Modeling in Event-B—system and software engineering. Cambridge University Press, Cambridge (2010)
2. Abrial, J.-R., Börger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Lecture Notes in Computer Science, vol. 1165. Springer, London (1996)
3. Abrial, J., Börger, E., Langmaack, H.: The steam boiler control specification problem. http://www.informatik.uni-kiel.de/~procos/dag9523/dag9523.html (1996)
4. Arcaini, P., Gargantini, A., Riccobene, E.: Rigorous development process of a safety-critical system: from asm models to java code. Int. J. Softw. Tools Technol. Transf. doi: 10.1007/s10009-015-0394-x (2016)
5. Banach, R.: The landing gear system in multi-machine hybrid event-b. International J. Softw. Tools Technol. Transf. doi: 10.1007/s10009-015-0409-7 (2016)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献