681.325.02. 681.326. 519.71. 061.3(08) počítače. hardware. overovanie. diagnostika. verifikáciaMilne, George J Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 / Edit.: Milne,George J.; Pierre,Laurence. -- 1.vyd. -- Berlin : Springer Verlag, 1993. -- 269 s. -- ISBN : 3-540-56778-X. Pierre, Laurence