An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
30
stars
25
forks
source link
Fix the order of executing actions of initial transitions in regions and entry actions of states #132
Open
grbeni opened 2 years ago