Probabilistic UML statecharts for specification and verification: a case study.

D.N. Jansen

Probabilistic UML statecharts for specification and verification: a case study.

D.N. Jansen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

54 Citations (Scopus)

Original language	Undefined
Title of host publication	Critical systems development with UML. Proceedings of the UML'02 workshop
Editors	J. Jurjens, J. Fernandez, B. Eduardo, M.V. Cengarle, B. Rumpe, R. Sandner
Place of Publication	München: Technische Universiteit München
Pages	121-131
Number of pages	11
Publication status	Published - 30 Sep 2002
Event	Workshop on Critical Systems Development with UML, CSDUML 2002 - Dresden, Germany Duration: 30 Sep 2002 → 4 Oct 2002

Publication series

Name
Number	10208
Volume	TUM

Conference

Conference	Workshop on Critical Systems Development with UML, CSDUML 2002
Abbreviated title	CSDUML
Country	Germany
City	Dresden
Period	30/09/02 → 4/10/02

Keywords

METIS-210529

Cite this

Jansen, D. N. (2002). Probabilistic UML statecharts for specification and verification: a case study. In J. Jurjens, J. Fernandez, B. Eduardo, M. V. Cengarle, B. Rumpe, & R. Sandner (Eds.), Critical systems development with UML. Proceedings of the UML'02 workshop (pp. 121-131). München: Technische Universiteit München.

@inproceedings{f2d9f5171f8a4b08aa5509494014c865,

title = "Probabilistic UML statecharts for specification and verification: a case study.",

keywords = "METIS-210529",

author = "D.N. Jansen",

year = "2002",

month = "9",

day = "30",

language = "Undefined",

number = "10208",

pages = "121--131",

editor = "J. Jurjens and J. Fernandez and B. Eduardo and M.V. Cengarle and B. Rumpe and R. Sandner",

booktitle = "Critical systems development with UML. Proceedings of the UML'02 workshop",

}

Jansen, DN 2002, Probabilistic UML statecharts for specification and verification: a case study. in J Jurjens, J Fernandez, B Eduardo, MV Cengarle, B Rumpe & R Sandner (eds), Critical systems development with UML. Proceedings of the UML'02 workshop. München: Technische Universiteit München, pp. 121-131, Workshop on Critical Systems Development with UML, CSDUML 2002, Dresden, Germany, 30/09/02.

Probabilistic UML statecharts for specification and verification: a case study. / Jansen, D.N.

Critical systems development with UML. Proceedings of the UML'02 workshop. ed. / J. Jurjens; J. Fernandez; B. Eduardo; M.V. Cengarle; B. Rumpe; R. Sandner. München: Technische Universiteit München, 2002. p. 121-131.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Probabilistic UML statecharts for specification and verification: a case study.

AU - Jansen, D.N.

PY - 2002/9/30

Y1 - 2002/9/30

KW - METIS-210529

M3 - Conference contribution

SP - 121

EP - 131

BT - Critical systems development with UML. Proceedings of the UML'02 workshop

A2 - Jurjens, J.

A2 - Fernandez, J.

A2 - Eduardo, B.

A2 - Cengarle, M.V.

A2 - Rumpe, B.

A2 - Sandner, R.

CY - München: Technische Universiteit München

ER -