Original language | Undefined/Unknown |
---|---|
Journal | University of Minnesota Software Engineering Center, Tech. Rep |
Volume | 1 |
State | Published - 2010 |
Externally published | Yes |
A parametric structural operational semantics for Stateflow, UML Statecharts, and Rhapsody
Mike Whalen
Research output: Contribution to journal › Article