Autor der Publikation

Test Quality of Asynchronous Circuits: A Defect-oriented Evaluation.

, und . ITC, Seite 205-214. IEEE Computer Society, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Naturalized Communication and Testing., , , , , und . ASYNC, Seite 77-84. IEEE Computer Society, (2015)Data-Loop-Free Self-Timed Circuit Verification., , , , und . ASYNC, Seite 51-58. IEEE Computer Society, (2018)A Proof System for Brinch Hansen's Distributed Processes., , und . GI Jahrestagung, Volume 50 von Informatik-Fachberichte, Seite 88-95. Springer, (1981)CAD Directions for High Performance Asynchronous Circuits., , , , , , und . DAC, Seite 116-121. ACM Press, (1999)Rob Tristan Gerth: 1956?2003., und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 1-14. Springer, (2004)A Framework for Asynchronous Circuit Modeling and Verification in ACL2., , , und . Haifa Verification Conference, Volume 10629 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2017)Optimal Scan for Pipelined Testing: An Asynchronous Foundation., , und . ITC, Seite 215-224. IEEE Computer Society, (1996)Characterization and Evaluation of a Compiled Asynchronous IC., , , , und . Asynchronous Design Methodologies, Volume A-28 von IFIP Transactions, Seite 209-221. North-Holland, (1993)A Hierarchical Approach to Self-Timed Circuit Verification., , , , und . ASYNC, Seite 105-113. IEEE, (2019)Procedures and concurrency: A study in proof., , und . Symposium on Programming, Volume 137 von Lecture Notes in Computer Science, Seite 132-163. Springer, (1982)