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.
![[thumbnail of HalleVillemaire-2008-CoopIS.pdf]](https://constellation.uqac.ca/style/images/fileicons/application_pdf.png) 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 |
Éditer le document (administrateurs uniquement)
Altmetric
Altmetric