P. Heidari et Hanifa Boucheneb
Communication écrite (2010)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/18185/ |
| Nom de la conférence: | 10th International Conference on Application of Concurrency to System Design (ACSD 2010) |
| Lieu de la conférence: | Braga, Portugal |
| Date(s) de la conférence: | 2010-06-21 - 2010-06-25 |
| Maison d'édition: | Institute of Electrical and Electronics Engineers |
| DOI: | 10.1109/acsd.2010.23 |
| URL officielle: | https://doi.org/10.1109/acsd.2010.23 |
| Date du dépôt: | 18 avr. 2023 15:13 |
| Dernière modification: | 05 avr. 2024 11:00 |
| Citer en APA 7: | Heidari, P., & Boucheneb, H. (juin 2010). Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets [Communication écrite]. 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal. https://doi.org/10.1109/acsd.2010.23 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
