Packages tagged state-machines

2 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (2), mit (2), program (2), control (1), machines (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
LTS10.00LTS: Labelled Transition System (library, mit, program, state-machines)2020-04-080.1.0.0ajayeeralla
crem12.00Compositional representable executable machines (control, library, machines, mit, program, state-machines)2023-03-170.1.0.0marcosh