Handling State-Machines Specifications with GATeL

Electronic Notes in Theoretical Computer Science 2010 Vol. 264; Iss. 3

Handling State-Machines Specifications with GATeL

Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
264
Année:
2010
Langue:
english
Pages:
15
DOI:
10.1016/j.entcs.2010.12.011
Fichier:
PDF, 278 KB
english, 2010
La conversion en est effectuée
La conversion en a échoué