Author:
Zhang Qi,Huang Zhiqiu,Xie Jian
Publisher
Springer International Publishing
Reference14 articles.
1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Friedenthal, S., Moore, A., Steiner, R.: A practical guide to sysml. San Francisco Jung Inst. Lib. J. 17(1), 41–46 (2012)
3. Laleau, R., Semmak, F., Matoussi, A., Petit, D., Hammad, A., Tatibouet, B.: A first attempt to combine sysml requirements diagrams and b. Innov. Syst. Softw. Eng. 6(1–2), 47–54 (2010)
4. Butler, M., Hallerstede, S.: The Rodin formal modelling tool. In: The International Conference on Formal Methods in Industry, p. 2. British Computer Society (2007)
5. Advances in Intelligent Systems and Computing;HA Le,2014
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献