The use of $B$ to specify, design and verify hardware. (English)
Winter, Victor L. (ed.) et al., High integrity software. Boston: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 577, 43-62 (2001).
1
A Microprogramming Logic. (English)
IEEE Transactions on Software Engineering 14, No.05, 559-574 (1988).
2
Q-Modules: Internally Clocked Delay-Insensitive Modules. (English)
IEEE Transactions on Computers 37, No.09, 1005-1018 (1988).
3
Threshold matrices and the state-assignment problem for neural nets. (English)
Proc. 8th southeast. Conf. on Combinatorics, graph theory, and computing; Baton Rouge 1977, 227-245 (1977).
4
A scheme for synchronizing high-speed logic part II. (English)
IEEE Trans. Comput. 19, No. 02, 116-124 (1970).
5
Start
Contact
Print
General Help
