Thèse de doctorat (2016)
 Document en libre accès dans PolyPublie |
|
Libre accès au plein texte de ce document Conditions d'utilisation: Tous droits réservés Télécharger (1MB) |
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| Programme: | Génie informatique |
| Directeurs ou directrices: | Hanifa Boucheneb |
| URL de PolyPublie: | https://publications.polymtl.ca/2120/ |
| Université/École: | École Polytechnique de Montréal |
| Date du dépôt: | 13 juil. 2016 11:59 |
| Dernière modification: | 01 avr. 2026 04:28 |
| Citer en APA 7: | Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier [Thèse de doctorat, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/2120/ |
|---|---|
Statistiques
Total des téléchargements à partir de PolyPublie
Téléchargements par année
Provenance des téléchargements
Actions réservées au personnel
|
Afficher document |
