Author of the publication

A study on user-friendly formal specification languages for requirements formalization.

, , , and . INDIN, page 676-682. IEEE, (2016)

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)Essential elements for programming of distributed automation and control systems., , and . ETFA, page 1-8. IEEE, (2013)Extension of reconfigurability provisions in IEC 61499., and . ETFA, page 1-7. IEEE, (2013)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)Real-time execution of function blocks for Internet of Things using the RTFM-kernel., , , , and . ETFA, page 1-6. IEEE, (2014)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)A Distributed ICT Architecture for Continuous Frequency Control., , , , , and . SMARTGREENS, page 135-142. SciTePress, (2017)Cooling energy consumption investigation of data center IT room with vertical placed server, , , , and . Energy Procedia, (2017)