Z. Brezocnik

发表

R. Meolic, T. Kapus, Z. Brezocnik, 2001, EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439).

Flexible job shop scheduling using zero-suppressed binary decision diagrams

R. Meolic, Z. Brezocnik, Z. Brezočnik, 2018, Advances in Production Engineering & Management.

Toward automatic generation of promela models from SDL specification

T. Kapus, Z. Brezocnik, B. Vlaovic, 2005, Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005..

Spin trail to a Message Sequence Chart conversion tool

Z. Brezocnik, B. Vlaovic, A. Vreze, 2009, 2009 10th International Conference on Telecommunications.

Testing theory in practice: a simple experiment

A. W. Heerink, Luis Ferreira Pires, T. Kapus, 1996 .

A functional-based approach to formal VLSI design verification

B. Horvat, Z. Brezocnik, 1991, [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications.

Tool for system design verification

B. Horvat, Z. Brezocnik, M. Gerkes, 1988, [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools.

Packet based telephony

Z. Brezocnik, B. Vlaovic, 2001, EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439).