Zmago Brezočnik

Emergence of intelligence in next-generation manufacturing systems

M. Brezočnik, J. Balič, Zmago Brezočnik · Robotics and Computer-Integrated Manufacturing · 2003 · 43 citations

Engineering, Industrial Engineering, Next-generation Manufacturing Systems +8

ACTLW – An action-based computation tree logic with unless operator

Robert Meolic, Tatjana Kapus, Zmago Brezočnik · Information Sciences · 2007 · 20 citations

Applied Logic, Computational Logic, Engineering +6

Testing theory in practice: a simple experiment

R. Terpstra, Zmago Brezočnik, Timotej Kapus et al. · University of Twente Research Information · 1996 · 20 citations · Full text

Accelerating Deep Learning Inference in Constrained Embedded Devices Using Hardware Loops and a Dot Product Unit

Jure Vreča, Karl J. X. Sturm, Ernest Gungl et al. · IEEE Access · 2020 · 14 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +17

Automated generation of Promela model from SDL specification

Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik et al. · Computer Standards & Interfaces · 2006 · 13 citations

Promela Model, Specification Language, Engineering +11