Author:
Boudi Zakaryae,Miloudi El,Koursi El,Collart-Dutilleul Simon
Subject
Control and Systems Engineering
Reference19 articles.
1. Abrial, J.-R. (1996). The B-Book: Assigning programs to meanings, Cambridge University Press.
2. Antoni, M (2009). Formal validation method for computerized railway interlocking systems. International Conference on Computers Industrial Engineering, 2009. CIE 2009., pages 1532-1541, 2009.
3. Aubrecht, P., Zakova, M., Kouba, Z. (2005). Ontology Transformation Using Generalized Formalism. Znalosti, roèniku conference, pp.154-161, V©B-TUO.
4. Behm, P., Benoit, P., Faivre, A., Meynadier, J-M., Météor (1999). A Successful Application of B in a Large Project. In Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors, Proceedings of FM'99: World Congress on Formal Methods, Lecture Notes in Computer Science, pages 369-387. Springer-Verlag.
5. From a Solution Model to a B Model for Verification of Safety Properties;Bon;J. UCS,2013
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献