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:	08 Apr 2025 07:24

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistics

Repository Staff Only