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

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Electronic Proceedings in Theoretical Computer Science
Vol/bind	105
Sider (fra-til)	135-149
ISSN	2075-2180
DOI	https://doi.org/10.4204/EPTCS.105.10
Status	Udgivet - 2012
Begivenhed	1st International Workshop on Formal Techniques for Safety-Critical Systems - Kyoto, Japan Varighed: 12 nov. 2012 → 12 nov. 2012

Konference

Konference	1st International Workshop on Formal Techniques for Safety-Critical Systems
Land/Område	Japan
By	Kyoto
Periode	12/11/2012 → 12/11/2012

Adgang til dokumentet

10.4204/EPTCS.105.10

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G. (Bevillingshaver), Skou, A. (Projektdeltager), Nielsen, B. (Projektdeltager), Bulychev, P. (Projektdeltager), Ravn, A. P. (Projektdeltager) & Poulsen, D. B. (Projektdeltager)
01/04/2011 → 30/04/2015
Projekter: Projekt › Forskning

Citationsformater

@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

Konference

Adgang til dokumentet

AUB Link

Projekter

IDEA4CPS: Foundations for Cyber-Physical Sytems

Citationsformater