| Date | Link | Tags | Clicks | Descriptions | Ratings |
|---|---|---|---|---|---|
| 18 Jun 2013 |
A Parametric Structural Operational Semantics for Stateflow, UML Statecharts, and Rhapsody
Formal semantics for Stateflow, by Mike Whalen
Contributed by: Nadia
|
academic, control sys..., country fr, course mate..., language en... | 1 | 1 |