Emergence and systems engineering: putting complex systems to work, Symposium on Complex Systems Engineering, pp.11-12, 2007. ,
, Modeling in Event-B: system and software engineering, p.646068815, 2010.
Definition of states and modes as general concepts for system design and validation, 2018. ,
A Textbook of Graph Theory, 2012. ,
Grafcet step by step. Famic Automation, 1992. ,
Contracts for Systems Design: Theory, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01178467
Abstract state machines: a method for highlevel system design and analysis, 2003. ,
Real World Application of MBSE at Bombardier Transportation, The Swiss Systems Engineering Day (SWISSED 2015), 2015. ,
Research challenges in modeling and simulation for engineering complex systems, 2017. ,
Statecharts: A visual formalism for complex systems, Science of computer programming, vol.8, pp.231-274, 1987. ,
8.4.2 Error Cost Escalation Through the Project Life Cycle, INCOSE International Symposium, vol.14, pp.1723-1737, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-02817657
Introducrion to Automata Theory, Languages and Computation, 2001. ,
Functional Architectures in SysML, Proceedings of the Tag des Systems Engineering, 2010. ,
La théorie du système général: théorie de la modélisation, 1994. ,
Engineering Complex Embedded Systems with State Analysis and the Mission Data System, AIAA Journal of Aerospace Computing, Information, and Communication, vol.2, 2005. ,
Modeling Systemic Behavior by State-Based Holonic Modular Units, Model-Driven Engineering Languages and Systems, Juergen Dingel, 2014. ,
, , vol.8767, pp.99-115
Formal Specification Level, 2015. ,
A behavior-driven approach for specifying and testing user requirements in interactive systems, 2018. ,