MDM: A Mode Diagram Modeling Framework

Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim Guldstrand Larsen, Jan Madsen, Bin Gu

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science
Vol/bind105
Sider (fra-til)135-149
ISSN2075-2180
DOI
StatusUdgivet - 2012
Begivenhed1st International Workshop on Formal Techniques for Safety-Critical Systems - Kyoto, Japan
Varighed: 12 nov. 201212 nov. 2012

Konference

Konference1st International Workshop on Formal Techniques for Safety-Critical Systems
LandJapan
ByKyoto
Periode12/11/201212/11/2012

Projekter

IDEA4CPS: Foundations for Cyber-Physical Sytems

Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.

01/04/201130/04/2015

Projekter: ProjektForskning

Citationsformater