Rachid 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: | 08 avr. 2025 02:09 |
| 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 |
