Author:
Kherroubi Souad,Méry Dominique
Publisher
Springer International Publishing
Reference20 articles.
1. J.-R. Abrial. Modeling in Event-B: System and Software Engineering. Cambridge University Press, 2010
2. Ameur, Y.A., Méry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100–127 (2016)
3. Akman, V., Surav, M.: The use of situation theory in context modeling. Comput. Intell. 13(3), 427–438 (1997)
4. Andriamiarina, M.B.: Développement d’algorithmes répartis corrects par construction. Thèse, Université de Lorraine, October 2015
5. Barwise, K.J.: Conditionals and conditional information. In: Traugott, E., ter Meulen, A., Reilly, J., Ferguson, C. (eds.) On Conditionals, pp. 21–54. Cambridge University Press, Cambridge (1986)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Contextual Dependency in State-Based Modelling;Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems;2020-07-28