Author of the publication

A formal validation approach for holonic control system specifications.

, , and . ETFA (1), page 203-210. IEEE, (2003)

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

State of the Art in Industrial Automation, , , , , , , , and . Industrial Cloud-Based Cyber-Physical Systems: The IMC-AESOP Approach, chapter 2, Springer, Cham, (2014)An approach towards the development life-cycle of agent-based production control applications., and . ETFA, IEEE, (2005)Decision support system in a service-oriented control architecture for industrial automation., , and . ETFA, page 1228-1235. IEEE, (2008)An approach for integrating real and virtual production automation devices applying the service-oriented architecture paradigm., , , and . ETFA, page 309-314. IEEE, (2007)Cross benefits from cyber-physical systems and intelligent products for future smart industries., , , , and . INDIN, page 504-509. IEEE, (2016)Industrial Cyber-Physical Systems Scanning the Issue., , , , and . Proc. IEEE, 104 (5): 899-903 (2016)Behaviour and integration of service-oriented automation and production devices at the shop-floor., , , and . Int. J. Comput. Aided Eng. Technol., 3 (3/4): 281-291 (2011)Formal Specification of ADACOR Holonic Control System: Coordination Models., , and . CDC/ECC, page 2137-2142. IEEE, (2005)Injecting Service-Orientation into Multi-Agent Systems in Industrial Automation., , , and . ICAISC (2), volume 6114 of Lecture Notes in Computer Science, page 313-320. Springer, (2010)Service-oriented SCADA and MES supporting Petri nets based orchestrated automation systems., , , and . IECON, page 6144-6150. IEEE, (2012)