Skip to search formSkip to main contentSkip to account menu

YAKINDU Statechart Tools

YAKINDU Statechart Tools (SCT) is an open-source tool for the specification and development of reactive, event-driven systems with the help of finite… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Scenario-basedmodeling (SBM) is an approach for creating executable models for reactive systems where each artifact specifies a…