Tools for Model-Checking Timed Systems

Alexandre David; Gerd Behrmann; Peter Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jiří Srba; Wang Yi; Kenneth Y. Joergensen; Didier Lime; Morgan Magnin; Olivier H. Roux; Louis Marie Traonouez

doi:10.1002/9781118558188.ch6

Tools for Model-Checking Timed Systems

Alexandre David
, Gerd Behrmann
, Peter Bulychev
, Joakim Byg
, Thomas Chatain
, Kim G. Larsen
, Paul Pettersson
, Jacob Illum Rasmussen
, Jiří Srba
, Wang Yi
, Kenneth Y. Joergensen
, Didier Lime
, Morgan Magnin
, Olivier H. Roux
, Louis Marie Traonouez

Aalborg University
Lomonosov Moscow State University
ENS Cachan
Mälardalen University
Uppsala University
Ecole Centrale de Nantes
University of Nantes

科研成果: 书/报告/会议事项章节 › 章节 › 同行评审

4 引用（Scopus）

源语言	英语
主期刊名	Communicating Embedded Systems
主期刊副标题	Software and Design: Formal Methods
出版商	wiley
页	165-225
页数	61
ISBN（电子版）	9781118558188
ISBN（印刷版）	9781848211438
DOI	https://doi.org/10.1002/9781118558188.ch6
出版状态	已出版 - 1 1月 2010
已对外发布	是

访问文件

10.1002/9781118558188.ch6

其它文件与链接

链接到 Scopus 的出版物

引用此

David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K. G., Pettersson, P., Rasmussen, J. I., Srba, J., Yi, W., Joergensen, K. Y., Lime, D., Magnin, M., Roux, O. H., & Traonouez, L. M. (2010). Tools for Model-Checking Timed Systems. 在 Communicating Embedded Systems: Software and Design: Formal Methods (页码 165-225). wiley. https://doi.org/10.1002/9781118558188.ch6

@inbook{196f29d448f1452eb94e58322ff6541c,

title = "Tools for Model-Checking Timed Systems",

keywords = "And timed extensions, And tools, Model-checking, ROMEO, TAPAAL, Timed automata/symbolic, Timed-arc Petri nets, UPPAAL, UPPAAL-CORA/-TIGA",

author = "Alexandre David and Gerd Behrmann and Peter Bulychev and Joakim Byg and Thomas Chatain and Larsen, \{Kim G.\} and Paul Pettersson and Rasmussen, \{Jacob Illum\} and Ji{\v r}{\'i} Srba and Wang Yi and Joergensen, \{Kenneth Y.\} and Didier Lime and Morgan Magnin and Roux, \{Olivier H.\} and Traonouez, \{Louis Marie\}",

year = "2010",

month = jan,

day = "1",

doi = "10.1002/9781118558188.ch6",

language = "英语",

isbn = "9781848211438",

pages = "165--225",

booktitle = "Communicating Embedded Systems",

publisher = "wiley",

}

TY - CHAP

T1 - Tools for Model-Checking Timed Systems

AU - David, Alexandre

AU - Behrmann, Gerd

AU - Bulychev, Peter

AU - Byg, Joakim

AU - Chatain, Thomas

AU - Larsen, Kim G.

AU - Pettersson, Paul

AU - Rasmussen, Jacob Illum

AU - Srba, Jiří

AU - Yi, Wang

AU - Joergensen, Kenneth Y.

AU - Lime, Didier

AU - Magnin, Morgan

AU - Roux, Olivier H.

AU - Traonouez, Louis Marie

PY - 2010/1/1

Y1 - 2010/1/1

KW - And timed extensions

KW - And tools

KW - Model-checking

KW - ROMEO

KW - TAPAAL

KW - Timed automata/symbolic

KW - Timed-arc Petri nets

KW - UPPAAL

KW - UPPAAL-CORA/-TIGA

UR - https://www.scopus.com/pages/publications/105010791733

U2 - 10.1002/9781118558188.ch6

DO - 10.1002/9781118558188.ch6

M3 - 章节

AN - SCOPUS:84889459022

SN - 9781848211438

SP - 165

EP - 225

BT - Communicating Embedded Systems

PB - wiley

ER -