Communicating X-machines: a practical approach for formal...

Communicating X-machines: a practical approach for formal and modular specification of large systems

Petros Kefalas, George Eleftherakis, Evangelos Kehris
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:
45
Année:
2003
Langue:
english
Pages:
12
DOI:
10.1016/s0950-5849(03)00018-1
Fichier:
PDF, 371 KB
english, 2003
La conversion en est effectuée
La conversion en a échoué