A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems von Hudak, S., Korecko, S., Simonak, S.

Volltext

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits von Bača, J., Korecko, S., Poruban, J., Vaclavik, P.

Volltext

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits von Bača, J., Korečko, Š., Porubän, J., Václavík, P.

Volltext