Hallé Sylvain, Villemaire Roger, Cherkaoui Omar et Ghandour Boubker. (2007). Model-checking data-aware temporal workflow properties with CTL-FO+. Dans : IEEE International Enterprise Distributed Object Computing Conference , 15-19 October 2007, Annapolis, Maryland.
![[thumbnail of paper.pdf]](https://constellation.uqac.ca/style/images/fileicons/application_pdf.png) |
PDF
589kB |
URL officielle: http://dx.doi.org/10.1109/EDOC.2007.36
| Type de document: | Matériel de conférence (Non spécifié) |
|---|---|
| Date: | 2007 |
| Identifiant unique: | 10.1109/EDOC.2007.36 |
| 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: | Web service, model checking, temporal logic, CTL, first-order logic, XML |
| Déposé le: | 19 juill. 2012 19:01 |
|---|---|
| Dernière modification: | 24 mai 2016 14:56 |
Éditer le document (administrateurs uniquement)
Altmetric
Altmetric