Author:
Troubitsyna Elena,Vistbakka Inna
Publisher
Springer International Publishing
Reference25 articles.
1. Abrial, J.R.: Modeling in Event-B. Cambridge University Press, New York (2010)
2. Brunel, J., Rioux, L., Paul, S., Faucogney, A., Vallée, F.: Formal safety and security assessment of an avionic architecture with alloy. In: ESSS 2014, pp. 8–19 (2014)
3. Bruza, P., van der Weide, T.P.: The Semantics of Data Flow Diagrams. Technical report 89-16, University of Nijmegen, The Netherlands (1989)
4. Lecture Notes in Computer Science;D Bytschkow,2014
5. Lecture Notes in Computer Science;A Cimatti,2015
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献