A parametric structural operational semantics for Stateflow, UML Statecharts, and Rhapsody

Mike Whalen

Research output: Contribution to journalArticle

Original languageUndefined/Unknown
JournalUniversity of Minnesota Software Engineering Center, Tech. Rep
Volume1
StatePublished - 2010
Externally publishedYes

Cite this

@article{65db042cb77841b69834cc8888c31ecb,
title = "A parametric structural operational semantics for Stateflow, UML Statecharts, and Rhapsody",
author = "Mike Whalen",
year = "2010",
language = "Undefined/Unknown",
volume = "1",
journal = "University of Minnesota Software Engineering Center, Tech. Rep",

}

TY - JOUR

T1 - A parametric structural operational semantics for Stateflow, UML Statecharts, and Rhapsody

AU - Whalen, Mike

PY - 2010

Y1 - 2010

M3 - Article

VL - 1

JO - University of Minnesota Software Engineering Center, Tech. Rep

JF - University of Minnesota Software Engineering Center, Tech. Rep

ER -