This project provides a virtual machine for the modeling language +gisele+ developed in...
4 799 Téléchargements
This project implements the formal analysis techniques available on the gisele process ...
4 744 Téléchargements
October 16, 2012 7:20am
aucune