Author:
Boudi Zakaryae,Ait Wakrime Abderrahim,Toub Mohamed,Haloua Mohamed
Publisher
Springer International Publishing
Reference30 articles.
1. Toth, K.C., Donat, M.R., Joyce, J.J.: Generating test cases from formal specifications. In: 6th Annual Symposium of the International Council on Systems Engineering (1996)
2. Richard, D., Chandramouli, K.R., Butler, R.W.: Cost effective use of formal methods in verification and validation (2003)
3. Lecture Notes in Computer Science;A Ait Wakrime,2015
4. Boudi, Z., Ait Wakrime, A., Collart-Dutilleul, S., Haloua, M.: Introducing B-Sequenced Petri Nets as a CPN sub-class for safe train control. In: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 350–358. SCITEPRESS-Science and Technology Publications, Lda, May 2019
5. Boudi, Z., Ben-Ayed, R., El Koursi, E.M., et al.: A CPN/B method transformation framework for railway safety rules formal validation. Eur. Transp. Res. Rev. 9(2), 13 (2017).
https://doi.org/10.1007/s12544-017-0228-x