Method and system for the development of high-assurance microcode

Philippe MT Limondin, T Douglas Hiratzka, Michael W Whalen, David S Hardin

Research output: Other contribution

Original languageUndefined/Unknown
StatePublished - Oct 1 2011

Bibliographical note

US Patent 8,041,554

Cite this

Limondin, P. MT., Hiratzka, T. D., Whalen, M. W., & Hardin, D. S. (2011, Oct 1). Method and system for the development of high-assurance microcode.