Dr. Jacek Tkacz Profile

Dr. Jacek Tkacz

at University of Zielona Góra

SPIE Involvement:

Author

Publications (3)

Proceedings Article | 7 August 2017 Paper

Modeling and implementation of concurrent logic controllers with use of Petri nets, LSMs, and sequent calculus

J. Tkacz, A. Bukowiec, M. Doligalski

Proceedings Volume 10445, 1044528 (2017) https://doi.org/10.1117/12.2280967

KEYWORDS: Logic, Calculus, Field programmable gate arrays, Modeling

Read Abstract +

Proceedings Article | 11 September 2015 Paper

Petri nets SM-cover-based on heuristic coloring algorithm

Jacek Tkacz, Michał Doligalski

Proceedings Volume 9662, 96623N (2015) https://doi.org/10.1117/12.2205794

KEYWORDS: Logic, Algorithm development, Rapid manufacturing, Solid modeling, Computer aided design, Statistical modeling, Data modeling, Field programmable gate arrays, Rule based systems, Device simulation

Read Abstract +

Proceedings Article | 11 September 2015 Paper

Unit testing-based approach for reconfigurable logic controllers verification

Michał Doligalski, Jacek Tkacz, Arkadiusz Bukowiec, Tomasz Gratkowski

Proceedings Volume 9662, 96623V (2015) https://doi.org/10.1117/12.2205922

KEYWORDS: Logic, Device simulation, Field programmable gate arrays, Prototyping, Printed circuit board testing, Clocks, Reliability, Software engineering, Software development, Rapid manufacturing

Read Abstract +

View contact details

UPDATE YOUR PROFILE

Is this your profile? Update it now.

Sign into your SPIE.org account

Don’t have a profile and want one?

Create an account on SPIE.org

Keywords/Phrases

Search In:

Publication Years