://statecharts.dev/ [2] David Harel, Statecharts: a visual formalism for complex
systems, Science of Computer Programming, Volume 8... Machines for
Automated Verification - A Survey, https://doi.org/10.1145/3579821 Date souhaitée de début de mission 16/03... -
Voir cette offre d'emploi