Mohammad-Reza Gholami and Hanifa Boucheneb
Article (2016)
An external link is available for this itemDepartment: | Department of Computer Engineering and Software Engineering |
---|---|
PolyPublie URL: | https://publications.polymtl.ca/55877/ |
Journal Title: | Journal of Software Engineering: Theories and Practices (vol. 1, no. 1) |
DOI: | 10.21174/josetap.v1i1.49 |
Official URL: | https://doi.org/10.21174/josetap.v1i1.49 |
Date Deposited: | 11 Oct 2023 14:57 |
Last Modified: | 25 Sep 2024 16:47 |
Cite in 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 |
---|---|
Statistics
Dimensions