Search results
- 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
Milne George J (Compiler) Pierre Laurence (xxx)
1.vyd.
Berlin : Springer Verlag, 1993 . - 269 s
ISBN 3-540-56778-X
počítače hardware overovanie diagnostika verifikácia
zborníkFaculty Available Inaccesible Issued For Request Only FIIT 1 0 0 0 
book
- Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 / Edit.: Bochmann,G.,von; Probst,D.K
Bochmann G.von (Compiler) Probst D.K (xxx)
1.vyd.
Berlin : Springer Verlag, 1993 . - 422 s
ISBN 3-540-56495-9
overovanie počítačových systémov overovanie programových systémov verifikácia
zborníkFaculty Available Inaccesible Issued For Request Only FIIT 1 0 0 0 book
- Formal verification of hardware design / Edit.: Yoeli,Michael
Yoeli Michael (Compiler)
Los Alamitos : Institute of Electrical and Electronics Engineers, 1990 . - 326 s
ISBN 0-8186-9017-8
verifikácia overovanie spoľahlivosti počítačové systémy hardware spoľahlivosť
zborníkFaculty Available Inaccesible Issued For Request Only FIIT 2 0 0 0 book