Asmaa Achtaich. Graphes "State Constraint Transition" : un langage pour la spécification formelle des systèmes de systèmes dynamiques. ("State Constraint Transition" graph : a language for the formal specification of dynamic systems of systems). PhD thesis, Pantheon-Sorbonne University, Paris, France, 2020. [doi]
@phdthesis{hal-18560, title = {Graphes "State Constraint Transition" : un langage pour la spécification formelle des systèmes de systèmes dynamiques. ("State Constraint Transition" graph : a language for the formal specification of dynamic systems of systems)}, author = {Asmaa Achtaich}, year = {2020}, url = {https://tel.archives-ouvertes.fr/tel-03967057}, researchr = {https://researchr.org/publication/hal-18560}, cites = {0}, citedby = {0}, school = {Pantheon-Sorbonne University, Paris, France}, }