Inproceedings,

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

, , and .
WSC, page 177-191. IEEE, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews