Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models.

Hamzat Olanrewaju Aliyu, Mamadou Kaba Traor

Browse the full WSC paper archive.