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 language	Undefined/Unknown
State	Published - Oct 1 2011

US Patent 8,041,554

OpenUrl availability

@misc{2b129f53f27447efb3e5b64cf7dc10b9,

title = "Method and system for the development of high-assurance microcode",

author = "Limondin, {Philippe MT} and Hiratzka, {T Douglas} and Whalen, {Michael W} and Hardin, {David S}",

note = "US Patent 8,041,554",

year = "2011",

month = oct,

day = "1",

language = "Undefined/Unknown",

type = "Other",

}