Propaganda
ModelJunit.
ModelJunit é uma biblioteca Java que estende Junit para suportar testes baseados no modelo. ...
Java Biblioteca Java. biblioteca Teste baseado em modelo Modelos EFSM.
Fsmdesigner4.
FSMDesigner4 é uma implementação baseada em C ++ para uma ferramenta de design da máquina de estado finito (FSM) com geração de HDL integrada. ...
Designer. Máquina de estados finitos FSM. Língua de descrição do hardware. FSM desenhador
pyfse.
motor de estado finito python (máquina) ...
Biblioteca Python. Pitão ajudante Máquinas do estado finito classes auxiliares.
django-fsm.
suporte de máquina de estado finito amigável django ...
python-fsm.
Máquinas de estado finitas ...
Biblioteca Python. Estado máquinas finito Máquinas do estado finito