<  Retour au portail Polytechnique Montréal

Zenoness detection and times model checking for real time systems

R. Hadjidj et Hanifa Boucheneb

Communication écrite (2007)

Un lien externe est disponible pour ce document
Renseignements supplémentaires: Nom historique du département: Département de génie informatique
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/21897/
Nom de la conférence: 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007)
Lieu de la conférence: Algiers, Algeria
Date(s) de la conférence: 2007-05-05 - 2007-05-06
Maison d'édition: British Computer Society
DOI: 10.14236/ewic/vecos2007.12
URL officielle: https://doi.org/10.14236/ewic/vecos2007.12
Date du dépôt: 18 avr. 2023 15:16
Dernière modification: 05 avr. 2024 11:05
Citer en APA 7: Hadjidj, R., & Boucheneb, H. (mai 2007). Zenoness detection and times model checking for real time systems [Communication écrite]. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007), Algiers, Algeria. https://doi.org/10.14236/ewic/vecos2007.12

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document