Jacek Tkacz

According to our database, Jacek Tkacz authored at least 4 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Dual synthesis of Petri net based dependable logic controllers for safety critical systems.

Arkadiusz Bukowiec, Jacek Tkacz, Marian Adamski, Remigiusz Wisniewski

Proceedings of the 7th International Conference on Human System Interactions, 2014

2012

Formal reasoning in logic design of reconfigurable controllers.

Marian Adamski, Jacek Tkacz

Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012

Logic design of structured configurable controllers.

Jacek Tkacz, Marian Adamski

Proceedings of the 3rd IEEE International Conference on Networked Embedded Systems for Every Application, 2012

2011

Role of UML Modelling in Discrete Controller Design.

Grzegorz Labiak, Marian Adamski, Jacek Tkacz, Michal Doligalski, Arkadiusz Bukowiec

Proceedings of the 21st International Conference on Systems Engineering (ICSEng 2011), 2011