A framework for simulation of networks of hybrid automata, similar to SHIFT and Lambda-...
46.799 Downloads
k.A.