Projects per year
|Title of host publication||Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings|
|Editors||Tiziana Margaria, Bernhard Steffen|
|Number of pages||19|
|Publication status||Published - 2020|
|Event||9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 - Rhodes, Greece|
Duration: 20 Oct 2020 → 30 Oct 2020
|Conference||9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020|
|Period||20/10/2020 → 30/10/2020|
|Series||Lecture Notes in Computer Science|
Bibliographical noteFunding Information:
The project was funded by Poul Due Jensens Foundation grant.
– In early April researchers at Danmarks Tekniske Universitet (DTU) and Aal-borg Universitet (AAU) started a research project funded by Novo Nordisk Fonden (NNF) to develop and improve modelling tools of Covid-19 to assist decision makers to evaluate the effectiveness and impact of preventive mea-sures. The project has been carried out in collaboration with SSI.
© 2020, Springer Nature Switzerland AG.
FingerprintDive into the research topics of 'Fluid Model-Checking in UPPAAL for Covid-19'. Together they form a unique fingerprint.
- 1 Finished