Foundations for Cyber-Physical Sytems

Larsen, Kim Guldstrand (Project Licensee)
Skou, Arne (Project Participant)
Nielsen, Brian (Project Participant)
Bulychev, Petr (Project Participant)
Ravn, Anders Peter (Project Participant)
Poulsen, Danny Bøgsted (Project Participant)

14 Article in proceeding
5 Journal article
3 Book chapter
2 Conference article in Journal

2 results

Filter

Conference article in Journal

MDM: A Mode Diagram Modeling Framework
Wang, Z., Pu, G., Li, J., He, J., Qin, S., Larsen, K. G., Madsen, J. & Gu, B., 2012, In: Electronic Proceedings in Theoretical Computer Science. 105, p. 135-149
Research output: Contribution to journal › Conference article in Journal › Research › peer-review

2 Citations (Scopus)
On the Metric-Based Approximate Minimization of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In: Leibniz International Proceedings in Informatics. 80, 44, p. 1 14 p.
Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Open Access
7 Citations (Scopus)