package rfsm
A toolset for describing and simulating StateChart-like state diagrams
Install
Dune Dependency
Authors
Maintainers
Sources
rfsm-1.4.2.tar.gz
sha256=3837212d9e0ca99c04a4f076aea2a7601ae1cefd54a8a6072e2f21f527e1faf3
md5=2febda48d5fed77b887778f65d4c2685
On This Page