|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Formal Methods of Microcode Verification and Synthesis
July/August 1986 (vol. 3 no. 4)
pp. 38-48
| ASCII Text | x | ||
| 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. | |||
| BibTex | x | ||
| @article{ 10.1109/MS.1986.233753, author = {R.A. Mueller and M.R. Duda}, title = {Formal Methods of Microcode Verification and Synthesis}, journal ={IEEE Software}, volume = {3}, number = {4}, issn = {0740-7459}, year = {1986}, pages = {38-48}, doi = {http://doi.ieeecomputersociety.org/10.1109/MS.1986.233753}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Formal Methods of Microcode Verification and Synthesis IS - 4 SN - 0740-7459 SP38 EP48 EPD - 38-48 A1 - R.A. Mueller, A1 - M.R. Duda, PY - 1986 KW - null VL - 3 JA - IEEE Software ER - | |||
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.
Citation:
R.A. Mueller, M.R. Duda, "Formal Methods of Microcode Verification and Synthesis," IEEE Software, vol. 3, no. 4, pp. 38-48, July-Aug. 1986, doi:10.1109/MS.1986.233753
Usage of this product signifies your acceptance of the Terms of Use.