Author:
Tueno Fotso Steve Jeffrey,Laleau Régine,Frappier Marc,Mammar Amel,Thibodeau Francois,Nsangou Mouchili Mama
Publisher
Springer International Publishing
Reference31 articles.
1. Road transportation system: SysML/KAOS requirements modeling (2018).
https://github.com/stuenofotso/SysML_KAOS_Domain_Model_Parser/tree/master/Bonaventure_project
2. Abrial, J.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, New York (2010)
3. Abrial, J.R., Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (2005)
4. ANR-14-CE28-0009: Formose ANR project (2017)
5. LNCS,2006