Author:
Bouba Khaoula,Ait Wakrime Abderrahim,Ouhammou Yassine,Benaini Redouane
Publisher
Springer Nature Switzerland
Reference23 articles.
1. Roques P.: Modélisation architecturale des systèmes avec la méthode Arcadia: guide pratique de Capella, vol. 2, ISTE Group, 2018
2. Abrial, J.R.: Modeling in Event-B: system and software engineering. Cambridge University Press (2010)
3. Schmidt, C.: D.: Model-driven engineering. Computer-IEEE Computer Society- 39(2), 25 (2006)
4. Fredj, N., Hadj Kacem, Y., Abid, M.: An event-based approach for formally verifying runtime adaptive real-time systems. The Journal of Supercomputing 77(3), 3110–3143 (2021)
5. The ProMARTE consortium, UML profile for MARTE, beta 2, June 2008, OMG document number : ptc/08-06-08