Programmes par smc.sf.net

SMC prend une machine d’état stockée dans un fichier .sm et génère un modèle d’état en 14 langages de programmation. Inclut : transitions par défaut, args de transition, gardes de transition, transitions push/pop et actions d