20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

14 Citations (Scopus)

Fingerprint

Dive into the research topics of '20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond'. Together they form a unique fingerprint.

Earth and Planetary Sciences

Computer Science

Psychology

Biochemistry, Genetics and Molecular Biology