Introduction to the discrete Event System Specification Formalism and its Application for Modeling and simulating Cyber-Physical Systems.

Gabriel A. Wainer, Rhys Goldstein, Azam Khan

Browse the full WSC paper archive.