Вы здесь
Kropf T.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Embedding Hardware Verification within a Commercial Design Framework | 1993 | Kropf T., Kumar R., Schneider K. | Lecture Notes in Computer Science | 29.06.1993 | |||
СТ | 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 | |||
СТ | Automating Verification by Functional Abstraction at the System Level | 1994 | Schneider K., Kumar R., Kropf T. | Lecture Notes in Computer Science | 24.11.1994 | |||
СТ | Simplifying Deep Embedding: A Formalised Code Generator | 1994 | Reetz R., Kropf T. | Lecture Notes in Computer Science | 24.11.1994 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Theorem Provers in Circuit Design: Proc./Second Intern. Conf., TPCD 94. Bad Herrenalb, Germany, September 1994 | 1995 | Lecture Notes in Computer Science |
|
10.04.1995 | |||
СБ | Formal Hardware Verification: Methods and Systems in Comparison | 1997 | Lecture Notes in Computer Science |
|
28.11.1997 | |||
СБ | Correct Hardware Design and Verification Methods: Proc./10th IFIP WG 10.5 Advanced Research Working Conf., CHARME 99. Bad Herrenalb, Germany, September 1999 | 1999 | Lecture Notes in Computer Science |
|
29.10.1999 |