Jacek Tkacz

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Safety Critical

Regulatory Requirements

Top Venues

Publications

Arkadiusz Bukowiec, Jacek Tkacz, Marian Adamski, Remigiusz Wisniewski
Dual synthesis of Petri net based dependable logic controllers for safety critical systems. HSI (2014)
Jacek Tkacz, Marian Adamski
Logic design of structured configurable controllers. NESEA (2012)
Marian Adamski, Jacek Tkacz
Formal reasoning in logic design of reconfigurable controllers. PDeS (2012)
Grzegorz Labiak, Marian Adamski, Jacek Tkacz, Michal Doligalski, Arkadiusz Bukowiec
Role of UML Modelling in Discrete Controller Design. ICSEng (2011)