Modélisation et spécification ? Master 2 LC TD 11 : Logique CTL
Traduction du français en CTL. Ceci est un exercice de formalisation, les phrases
proposées sont parfois ambiguës. Il faut donc préciser le comportement choisi ...
Traduction du français en CTL. Ceci est un exercice de formalisation, les phrases
proposées sont parfois ambiguës. Il faut donc préciser le comportement choisi ...