Povezava jezika VHDL s programskim paketom za formalno verifikacijo HSIS = Linking VHDL with the HSIS formal verification programming package /

od Štrakl, Marjan., Horvat, Bogomir, 1936-, Brezočnik, Zmago.

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/...

od Brezočnik, Zmago., Kapus, Tatjana., Horvat, Bogomir, 1936-, Kapus-Kolar, Monika., Frey-Pučko, Marjeta., Štrakl, Marjan., Časar, Aleš., Meolic, Robert.
Izdano 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 /...

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

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

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

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

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

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

od 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.
Izdano 1996

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

od 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š.
Izdano 1994

Formalna verifikacija sistemov : fazno poročilo o rezultatih opravljenega dela na temeljnem raziskovalnem projektu v letu 1993 [za MZT Slovenije] : temeljni raziskovalni projekt P2...

od 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š.
Izdano 1993

Formalna verifikacija sistemov : zaključno poročilo o rezultatih opravljenega znanstveno-raziskovalnega dela na področju temeljnega raziskovanja : številka pogodbe J2-5122-0796-95...

od 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š.
Izdano 1996

Verifikacija sinhronih vezij /

od Štrakl, Marjan
Izdano 1992

Vključitev jezika VHDL v programski paket za formalno verifikacijo : magistrska naloga /

od Štrakl, Marjan.
Izdano 1996