<  Back to the Polytechnique Montréal portal

Formal Verification of Event-driven Health Applications

Mohammad-Reza Gholami and Hanifa Boucheneb

Article (2016)

An external link is available for this item
Department: 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

Repository Staff Only

View Item View Item