DCDS

Wagner, F.; Münch, Ph.; Liu, S.; Frey, G.:Development Process for dependable high-performance controllers using Petri Nets and FPGA Technology. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2007), pp. 297-302, Cachan, France, Jun. 2007. <DOI: 10.3182/20070613-3-FR-4909.00026>

Panjaitan, S.; Frey, G.: Operation Modes Handling in Distributed Automation Systems. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2007), pp. 241-246, Cachan, France, Jun. 2007. <DOI: 10.3182/20070613-3-FR-4909.00021>

Greifeneder, J.; Frey, G.: Probabilistic Timed Automata for Modeling Networked Automation Systems. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2007), pp. 143-148, Cachan, France, Jun. 2007. <DOI: 10.3182/20070613-3-FR-4909.00003>