David A. Fura
· 5 obras en el catálogo
Obras
Formal design specification of a processor interface unit
Interpreter composition issues in the formal verification of a processor-memory module
Towards the formal specification of the requirements and design of a processor interface unit
Towards the formal verification of the requirements and design of a processor interface unit
