A parametric structural operational semantics for stateflow, uml statecharts

Research output: Working paper

Original languageUndefined/Unknown
StatePublished - 2010

Cite this

@techreport{24bfda19b8194fefa4166494953ba218,
title = "A parametric structural operational semantics for stateflow, uml statecharts",
author = "Whalen, {Michael W}",
year = "2010",
language = "Undefined/Unknown",
type = "WorkingPaper",

}

TY - UNPB

T1 - A parametric structural operational semantics for stateflow, uml statecharts

AU - Whalen, Michael W

PY - 2010

Y1 - 2010

M3 - Working paper

BT - A parametric structural operational semantics for stateflow, uml statecharts

ER -