Interpreter composition issues in the formal verification of a processor-memory module

Materias

• Memory (Computers)
• Embedded computer systems
• Theorem proving
• Fault tolerance
• Microprocessors
• Circuit reliability

Ediciones (1)

• Interpreter composition issues in the formal verification of a processor-memory module (1994)

  National Aeronautics and Space Administration, Langley Research Center · inglés

Más obras de David A. Fura