Hardware Verification using Higher−Order Logic

Benzer Materyaller

• Hardware Verification using Higher−Order Logic
  Yazar:: Camilleri, A, ve diğerleri
  Baskı/Yayın Bilgisi: (1987)
• Higher Order Logic and Hardware Verification
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1993)
• Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1989)
• Using Recursive Types to Reason about Hardware in Higher Order Logic
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1988)
• Using Recursive Types to Reason about Hardware in Higher Order Logic
  Yazar:: Melham, T
  Baskı/Yayın Bilgisi: (1988)