Research output per year
Research output per year
Search results
-
2025
Digital Twin Tutorial: The Incubator Case Study
Gomes, C., Kristensen, M. H., Andersen, M. S., Talasila, P., Feng, H., Wright, T. & Larsen, P. G., 2025, Engineering Trustworthy Software Systems - 6th International School, SETSS 2024, Tutorial Lectures. Bowen, J. P., Gomes, C. & Liu, Z. (eds.). Springer Science and Business Media Deutschland GmbH, p. 68-101 34 p. (Lecture Notes in Computer Science, Vol. 15584).Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review
-
2023
State of the Art Report: Verified Computation
Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M., 29 Aug 2023, 54 p.Research output: Working paper/Preprint › Preprint