...
Chadlia Jerad, Edward A. Lee, Deterministic Timing for the Industrial Internet of Things, 2018 IEEE International Conference on Industrial Internet (ICII)
Vince Molnár, Bence Graics, András Vörös, István Majzik, and Dániel Varró. 2018. The Gamma statechart composition framework: Design, verification and code generation for component-based reactive systems. In Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings (ICSE '18).
Master Empfehlung
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. Runtime enforcement of reactive systems using synchronous enforcers. In CoRR, vol. abs/1612.05030, 2016.
...
