LiveZilla Live Chat Software

Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

XML methods for validation of temporal properties on message traces with data

Hallé Sylvain et Villemaire Roger. (2008). XML methods for validation of temporal properties on message traces with data. Lecture Notes in Computer Science, 5331, p. 337-353.

[img]
Prévisualisation
PDF
459kB

URL officielle: http://dx.doi.org/10.1007/978-3-540-88871-0_23


Type de document:Article publié dans une revue avec comité d'évaluation
ISSN:0302-9743
Volume:5331
Pages:p. 337-353
Version évaluée par les pairs:Oui
Date:2008
Identifiant unique:10.1007/978-3-540-88871-0_23
Sujets:Sciences naturelles et génie > Sciences mathématiques > Informatique
Département, module, service et unité de recherche:Départements et modules > Département d'informatique et de mathématique
Mots-clés:XML, trace validation, temporal logic, LTL
Déposé le:19 juill. 2012 19:19
Dernière modification:19 juill. 2012 19:19
Afficher les statistiques de telechargements

Éditer le document (administrateurs uniquement)

Creative Commons LicenseSauf indication contraire, les documents archivés dans Constellation sont rendus disponibles selon les termes de la licence Creative Commons "Paternité, pas d'utilisation commerciale, pas de modification" 2.5 Canada.

Bibliothèque Paul-Émile-Boulet, UQAC
555, boulevard de l'Université
Chicoutimi (Québec)  CANADA G7H 2B1
418 545-5011, poste 5630