A true concurrency semantics for parallel programs /

door Kapus, Tatjana, Horvat, Bogomir, 1936-

Predlog univerzitetnega študijskega programa Telekomunikacije /

door Horvat, Bogomir, 1936-, Kapus, Tatjana.
Gepubliceerd in 2000

Verifikacija komunikacijskega obnašanja sistemov z uporabo binarnih odločitvenih grafov = Verification of systems communication behaviour using binary decision diagrams /

door Sepesy Maučec, Mirjam., Kapus, Tatjana., Horvat, Bogomir, 1936-

A multimedia presentation for the support of teaching telecommunications protocols /

door Kruščič, Andrej., Slatinek, Rado., Kapus, Tatjana., Horvat, Bogomir, 1936-

Telekomunikacije : vloga za pridobitev soglasja k univerzitetnemu študijskemu programu prve stopnje Fakultete za elektrotehniko, računalništvo in informatiko Univerze v Mariboru :...

door Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Kačič, Zdravko.
Gepubliceerd in 2006

Simulacija računalniških sistemov in komunikacijskih mrež /

door Brezočnik, Zmago., Horvat, Bogomir, 1936-, Kapus, Tatjana., Dreo, Gabrijela.
Gepubliceerd in 1990

Signali.

door Stergar, Janez, 1968-, Horvat, Bogomir, 1936-, Kapus, Tatjana., Kačič, Zdravko.
Gepubliceerd in 1996

Microcomputer unit for control of distributed devices over computer networks /

door Vrečko, Gregor., Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Duh, Andrej, 1969-

Distribuiran komunikacijski sistem : poročilo o delu za leto 1988 /

door Horvat, Bogomir, 1936-, Slatinek, Rado., Brezočnik, Zmago., Greif, Štefan., Paulin, Alojz., Kačič, Zdravko., Kapus, Tatjana., Dugonik, Bogdan.
Gepubliceerd in 1988

Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov : letno poročilo o rezultatih raziskovalnega projekta v letu 1997 /

door Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Dugonik, Bogdan., Balan, Filip Samo., Meolic, Robert., Dreo, Gabrijela., Časar, Aleš.
Gepubliceerd in 1998

COST 247 "Verification and validation methods for formal descriptions" : letno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 : številka pogodbe MS-20/...

door Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Kapus-Kolar, Monika., Frey-Pučko, Marjeta., Štrakl, Marjan., Časar, Aleš., Meolic, Robert.
Gepubliceerd in 1996

COST 247 "Verification and validation methods for formal descriptions" : letno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 : št. pogodbe MS-20/95 /...

door Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Kapus-Kolar, Monika., Frey-Pučko, Marjeta., Štrakl, Marjan., Časar, Aleš., Meolic, Robert.
Gepubliceerd in 1997

Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov : zaključno poročilo o rezultatih raziskovalnega projekta v letu 1998 /

door Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Dugonik, Bogdan., Balan, Filip Samo., Meolic, Robert., Dreo-Rodošek, Gabrijela., Časar, Aleš.
Gepubliceerd in 1999

Krožni praktikum : smer elektronika : navodila za vaje.

door Hamler, Anton., Horvat, Bogomir, 1936-, Kapus, Tatjana., Zagradišnik, Ivan., Jesenik, Marko., Štumberger, Bojan., Stergar, Janez, 1968-, Slemnik, Bojan., Kramberger, Iztok.
Gepubliceerd in 2001

Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov : letno poročilo o rezultatih opravljenega znanstveno-raziskovalnega dela na področju temeljnega raziskovanja : št. p...

door Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Dugonik, Bogdan., Balan, Filip Samo., Meolic, Robert., Dreo-Rodošek, Gabrijela., Štrakl, Marjan., Časar, Aleš.
Gepubliceerd in 1997

COST 247 "Verification and validation methods for formal descriptions" : zaključno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 /

door Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Kapus-Kolar, Monika., Frey-Pučko, Marjeta., Štrakl, Marjan., Časar, Aleš., Meolic, Robert., Dugonik, Bogdan.
Gepubliceerd in 1998

Porazdeljen komunikacijski sistem : poročilo o delu za leto 1990 /

door Horvat, Bogomir, 1936-, Slatinek, Rado., Brezočnik, Zmago., Jagodič, Marko, 1935-, Paulin, Alojz., Jazbec, Herman., Lešnjak, Gorazd., Kapus, Tatjana., Dreo, Gabrijela., Urlep, Igor., Kačič, Zdravko.
Gepubliceerd in 1990

Distribuiran komunikacijski sistem : poročilo o delu za leto 1989 /

door Horvat, Bogomir, 1936-, Slatinek, Rado., Brezočnik, Zmago., Greif, Štefan., Jagodič, Marko, 1935-, Lešnjak, Gorazd., Kačič, Zdravko., Kapus, Tatjana., Dreo, Gabrijela., Urlep, Igor., Dugonik, Bogdan.
Gepubliceerd in 1989

COST 247 International Workshop on Applied Formal Methods in System Design, June 17-19, 1996, Maribor, Slovenia /

door Brezočnik, Zmago., Balan, Filip Samo., Časar, Aleš., Dugonik, Bogdan., Horvat, Bogomir, 1936-, Jagodič, Marko, 1935-, Kapus, Tatjana., Kruščič, Andrej., Meolic, Robert., Frey-Pučko, Marjeta., Štrakl, Marjan.
Gepubliceerd in 1996

Formalna verifikacija sistemov : fazno poročilo o rezultatih opravljenega raziskovalnega dela na temeljnem raziskovalnem projektu v letu 1994 [za MZT Slovenije] : temeljni raziskov...

door Brezočnik, Zmago, Horvat, Bogomir, 1936-, Kapus, Tatjana., Dugonik, Bogdan., Dreo-Rodošek, Gabrijela., Balan, Filip Samo., Stergar, Janez., Babič, Rudolf., Solar, Mitja., Meolic, Robert., Štrakl, Marjan., Časar, Aleš.
Gepubliceerd in 1994