Author of the publication

Formal validation of intelligent-automated production systems: towards industrial applications.

, , , , and . Int. J. Manuf. Technol. Manag., 8 (1/2/3): 75-106 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards an Approach for the Verification of Downtimeless System Evolution., , and . ETFA, page 1133-1136. IEEE, (2006)Plant model inference for closed-loop verification of control systems: Initial explorations., and . INDIN, page 736-739. IEEE, (2016)Open architecture for cost effective protection and control of power distribution networks., , , , and . SmartGridComm, page 729-735. IEEE, (2016)Cooling energy consumption investigation of data center IT room with vertical placed server, , , , and . Energy Procedia, (2017)Service-oriented data acquisition and management for industrial cyber-physical systems., , , , and . INDIN, page 759-764. IEEE, (2017)A Distributed ICT Architecture for Continuous Frequency Control., , , , , and . SMARTGREENS, page 135-142. SciTePress, (2017)Towards implementation of IEC 61850 GOOSE messaging in IEC 61499 environment., , , , and . INDIN, page 464-470. IEEE, (2013)Time-stamped event based execution semantics for industrial cyber-physical systems., , , and . INDIN, page 1263-1268. IEEE, (2015)Transformation from PLC to distributed control using ontology mapping., and . INDIN, page 436-441. IEEE, (2012)IEC 61499 based model-driven process control engineering., , and . ETFA, page 1-8. IEEE, (2014)