Mohammad-Reza Gholami et Hanifa Boucheneb
Article de revue (2016)
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/55877/ |
| Titre de la revue: | Journal of Software Engineering: Theories and Practices (vol. 1, no 1) |
| DOI: | 10.21174/josetap.v1i1.49 |
| URL officielle: | https://doi.org/10.21174/josetap.v1i1.49 |
| Date du dépôt: | 11 oct. 2023 14:57 |
| Dernière modification: | 05 avr. 2024 12:02 |
| Citer en APA 7: | Gholami, M.-R., & Boucheneb, H. (2016). Formal Verification of Event-driven Health Applications. Journal of Software Engineering: Theories and Practices, 1(1). https://doi.org/10.21174/josetap.v1i1.49 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
