moh-cazador/HEDA-HF-UPPAAL: HEDA-HF V09022026.0
Abstract
HEDA-HF UPPAAL Verification Package This release contains all UPPAAL models, queries, simulation scripts, and analysis results associated with our paper. The package supports full reproducibility of the experimental results and figures described. No real patient data are used—only synthetic models. A Zenodo DOI will be minted and linked here shortly.
Fields of Study & Subjects
Formal Methods in Verification
Model-Driven Software Engineering Techniques
Business Process Modeling and Analysis
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 9 February 2026