The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July/August (1986 vol.3)
pp: 38-48
R.A. Mueller , Colorado State University
ABSTRACT
The influence of software design principles has helped transform a catch-as-catch-can bag of tricks into the emerging scientific discipline of firmware engineering.
INDEX TERMS
null
CITATION
R.A. Mueller, M.R. Duda, "Formal Methods of Microcode Verification and Synthesis", IEEE Software, vol.3, no. 4, pp. 38-48, July/August 1986, doi:10.1109/MS.1986.233753
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool