MDM: A Mode Diagram Modeling Framework

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

Research output: Contribution to journalConference article in JournalResearchpeer-review

2 Citations (Scopus)
Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Volume105
Pages (from-to)135-149
ISSN2075-2180
DOIs
Publication statusPublished - 2012
Event1st International Workshop on Formal Techniques for Safety-Critical Systems - Kyoto, Japan
Duration: 12 Nov 201212 Nov 2012

Conference

Conference1st International Workshop on Formal Techniques for Safety-Critical Systems
CountryJapan
CityKyoto
Period12/11/201212/11/2012

Cite this

Wang, Zheng ; Pu, Geguang ; Li, Jianwen ; He, Jifeng ; Qin, Shengchao ; Larsen, Kim Guldstrand ; Madsen, Jan ; Gu, Bin. / MDM : A Mode Diagram Modeling Framework. In: Electronic Proceedings in Theoretical Computer Science. 2012 ; Vol. 105. pp. 135-149.
@inproceedings{1902d500e39a49e393fc5da6e09c405e,
title = "MDM: A Mode Diagram Modeling Framework",
author = "Zheng Wang and Geguang Pu and Jianwen Li and Jifeng He and Shengchao Qin and Larsen, {Kim Guldstrand} and Jan Madsen and Bin Gu",
year = "2012",
doi = "10.4204/EPTCS.105.10",
language = "English",
volume = "105",
pages = "135--149",
journal = "Electronic Proceedings in Theoretical Computer Science",
issn = "2075-2180",
publisher = "Open Publishing Association",

}

MDM : A Mode Diagram Modeling Framework. / Wang, Zheng; Pu, Geguang; Li, Jianwen; He, Jifeng; Qin, Shengchao; Larsen, Kim Guldstrand; Madsen, Jan; Gu, Bin.

In: Electronic Proceedings in Theoretical Computer Science, Vol. 105, 2012, p. 135-149.

Research output: Contribution to journalConference article in JournalResearchpeer-review

TY - GEN

T1 - MDM

T2 - A Mode Diagram Modeling Framework

AU - Wang, Zheng

AU - Pu, Geguang

AU - Li, Jianwen

AU - He, Jifeng

AU - Qin, Shengchao

AU - Larsen, Kim Guldstrand

AU - Madsen, Jan

AU - Gu, Bin

PY - 2012

Y1 - 2012

U2 - 10.4204/EPTCS.105.10

DO - 10.4204/EPTCS.105.10

M3 - Conference article in Journal

VL - 105

SP - 135

EP - 149

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -