Formal Specification and Verification of Ubiquitous and...

ACM Transactions on Autonomous and Adaptive Systems 2011 / 02 Vol. 6; Iss. 1

Formal Specification and Verification of Ubiquitous and Pervasive Systems

Coronato, Antonio, De Pietro, Giuseppe
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:
6
Langue:
english
Journal:
ACM Transactions on Autonomous and Adaptive Systems
DOI:
10.1145/1921641.1921650
Date:
February, 2011
Fichier:
PDF, 186 KB
english, 2011
La conversion en est effectuée
La conversion en a échoué