A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems за авторством Hudak, S., Korecko, S., Simonak, S.

Отримати повний текст

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits за авторством Bača, J., Korecko, S., Poruban, J., Vaclavik, P.

Отримати повний текст

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits за авторством Bača, J., Korečko, Š., Porubän, J., Václavík, P.

Отримати повний текст