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

Documents publiés par "Cherkaoui, Omar"

Exporter comme [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Regroupement : Aucun | Type de document | Date
Nombre de documents : 4.

Hallé Sylvain, Villemaire Roger et Cherkaoui Omar. (2009). Specifying and validating data-aware temporal web service properties. IEEE Transactions on Software Engineering, 35, (5), p. 669-683.

Hallé Sylvain, Villemaire Roger, Cherkaoui Omar, Tremblay Jérôme et Ghandour Boubker. (2008). Extending model checking to data-aware temporal properties of web services. Lecture Notes in Computer Science, 4937, p. 31-45.

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.

Hallé Sylvain, Wenaas Éric, Villemaire Roger et Cherkaoui Omar. (2006). Self-configuration of network devices with Configuration Logic. Lecture Notes in Computer Science, 4195, p. 36-49.

Cette liste a été générée le Thu Mar 28 02:41:49 2024 EDT.

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