Model Checking Dynamic and Hierarchical UML State Machines

Toni Jussila, Jori Dubrovin, Tommi Junttila, Timo Latvala, Ivan Porres

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

Original language	English
Title of host publication	3rd Workshop on Model Design and Validation (MoDeVa 2006), Genova, Italy, October 2nd 2006
Pages	94-110
Publication status	Published - 2006
MoE publication type	A4 Conference publication

Keywords

@inproceedings{51182303fff3443e88cb9eaca3937184,

title = "Model Checking Dynamic and Hierarchical UML State Machines",

keywords = "model checking, UML, verification, model checking, UML, verification, model checking, UML, verification",

author = "Toni Jussila and Jori Dubrovin and Tommi Junttila and Timo Latvala and Ivan Porres",

year = "2006",

language = "English",

pages = "94--110",

booktitle = "3rd Workshop on Model Design and Validation (MoDeVa 2006), Genova, Italy, October 2nd 2006",

}

TY - GEN

T1 - Model Checking Dynamic and Hierarchical UML State Machines

AU - Jussila, Toni

AU - Dubrovin, Jori

AU - Junttila, Tommi

AU - Latvala, Timo

AU - Porres, Ivan

PY - 2006

Y1 - 2006

KW - model checking

KW - UML

KW - verification

KW - model checking

KW - UML

KW - verification

KW - model checking

KW - UML

KW - verification

M3 - Conference article in proceedings

SP - 94

EP - 110

BT - 3rd Workshop on Model Design and Validation (MoDeVa 2006), Genova, Italy, October 2nd 2006

ER -