Packages tagged state-machines

2 packages have this tag.

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

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
LTS	1	0.0	0	LTS: Labelled Transition System	(library, mit, program, state-machines)	2020-04-08	0.1.0.0	ajayeeralla
crem	2	2.0	0	Compositional representable executable machines	(control, library, machines, mit, program, state-machines)	2023-03-17	0.1.0.0	marcosh

Showing 1 to 2 of 2 entries