Publikationer pr. år
Publikationer pr. år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Mikkel Schmidt Andersen er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
-
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. (red.). Springer Science and Business Media Deutschland GmbH, s. 68-101 34 s. (Lecture Notes in Computer Science, Bind 15584).Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review
-
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 s.Publikation: Working paper/Preprint › Preprint