Author:
Dinca Ionut,Ipate Florentin,Stefanescu Alin
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Abrial, J.-R.: Modeling in Event-B – System and Software Engineering. Cambridge University Press (2010)
2. Silva, R., Pascal, C., Son Hoang, T., Butler, M.: Decomposition tool for Event-B. Softw., Pract. Exper. 41(2), 199–208 (2011), Plug-in webpage:
http://wiki.event-b.org/index.php/Event_Model_Decomposition
3. Son Hoang, T., Iliasov, A., Silva, R., Wei, W.: A survey on Event-B decomposition. ECEASST 46, 1–15 (2011)
4. Lecture Notes in Computer Science;M. Butler,2009
5. Lecture Notes in Computer Science;R. Silva,2011
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献