Вы здесь

Kumar R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Embedding Hardware Verification within a Commercial Design Framework 1993 Kropf T., Kumar R., Schneider K. Lecture Notes in Computer Science 29.06.1993
СТ Implementing a Methodology for Formally Verifying RISC Processors in HOL 1994 Tahar S., Kumar R. Lecture Notes in Computer Science 18.06.1994
СТ Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification 1994 Schneider K., Kumar R., Kropf T. Lecture Notes in Computer Science 21.06.1994
СТ Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic 1994 Schneider K., Kumar R., Kropf T. Lecture Notes in Computer Science 18.06.1994
СТ A Functional Approach for Formalizing Regular Hardware Structures 1994 Eisenbiegler D., Schneider K., Kumar R. Lecture Notes in Computer Science 18.06.1994
СТ Automating Verification by Functional Abstraction at the System Level 1994 Schneider K., Kumar R., Kropf T. Lecture Notes in Computer Science 24.11.1994
СТ Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL 1994 Tahar S., Kumar R. Lecture Notes in Computer Science 24.11.1994