A Parametric Structural Operational Semantics for Stateflow, UML Statecharts, and Rhapsody

First submitted by Nadia on 18 Jun 2013

Formal semantics for Stateflow, by Mike Whalen
University of Minnesota

67 clicks (last 30 days)

Descriptions and Ratings (1)

Date Contributor Description Rating
Please login to add a description or rating.

Contact us