Foundations for Cyber-Physical Sytems

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

14 Konferenceartikel i proceeding
5 Tidsskriftartikel
3 Bidrag til bog/antologi
2 Konferenceartikel i tidsskrift

2 resultater

Filter

2017
On the Metric-Based Approximate Minimization of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
7 Citationer (Scopus)
2012

MDM: A Mode Diagram Modeling Framework
Wang, Z., Pu, G., Li, J., He, J., Qin, S., Larsen, K. G., Madsen, J. & Gu, B., 2012, I: Electronic Proceedings in Theoretical Computer Science. 105, s. 135-149
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

2 Citationer (Scopus)