MDM: A Mode Diagram Modeling Framework

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

doi:10.4204/EPTCS.105.10

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 journal › Conference article in Journal › Research › peer-review

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	105
Pages (from-to)	135-149
ISSN	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.105.10
Publication status	Published - 2012
Event	1st International Workshop on Formal Techniques for Safety-Critical Systems - Kyoto, Japan Duration: 12 Nov 2012 → 12 Nov 2012

Conference

Conference	1st International Workshop on Formal Techniques for Safety-Critical Systems
Country/Territory	Japan
City	Kyoto
Period	12/11/2012 → 12/11/2012

Access to Document

10.4204/EPTCS.105.10

AUB Link

Search for the material in Aalborg University Library's search engine

IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G. (Project Licensee), Skou, A. (Project Participant), Nielsen, B. (Project Participant), Bulychev, P. (Project Participant), Ravn, A. P. (Project Participant) & Poulsen, D. B. (Project Participant)
01/04/2011 → 30/04/2015
Project: Research

Cite this

@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",

note = "1st International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012 ; Conference date: 12-11-2012 Through 12-11-2012",

}

TY - GEN

T1 - MDM

T2 - 1st International Workshop on Formal Techniques for Safety-Critical Systems

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

SN - 2075-2180

VL - 105

SP - 135

EP - 149

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

Y2 - 12 November 2012 through 12 November 2012

ER -

MDM: A Mode Diagram Modeling Framework

Conference

Access to Document

AUB Link

Projects

IDEA4CPS: Foundations for Cyber-Physical Sytems

Cite this