izvor podataka: crosbi
!
Doprinos verifikaciji formalne ispravnosti projekta kombinacijskih struktura (CROSBI ID 328649)
Ocjenski rad | doktorska disertacija
Nosović, Novica
Doprinos verifikaciji formalne ispravnosti projekta kombinacijskih struktura / Kalpić, Damir (mentor);
Zagreb, Fakultet elektrotehnike i računarstva, . 1904
Podaci o odgovornosti
Nosović, Novica
Kalpić, Damir
hrvatski
Doprinos verifikaciji formalne ispravnosti projekta kombinacijskih struktura
nije evidentirano
verificiranje logičkog projekta; pogodnost za testiranje; "sea-of-gates" technology
nije evidentirano
engleski
A Contribution to the Verification of Formal Corectness in Projects of Combinational Structures
nije evidentirano
logic design verification; design for testability; sea of gates
nije evidentirano
Podaci o izdanju
92
.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet elektrotehnike i računarstva
Zagreb
Povezanost rada
Povezane osobe
Povezane ustanove