Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: sequential-constructiveness

kieler/semantics

The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation

Language: Java - Size: 594 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 11 - Forks: 6

Related Keywords
diagrams 1 esterel 1 model-driven-development 1 model-driven-engineering 1 modeling 1 modeling-tool 1 sccharts 1 scest 1 scl 1 sequential-constructiveness 1 simulation 1 synchronous-language 1 verification 1 visualization 1