BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL

2020
Fluid Model-Checking in UPPAAL for Covid-19
Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-403 19 p. (Lecture Notes in Computer Science, Vol. 12476).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
4 Link opens in a new tab Citations (Scopus)

Research output