( en | de | ru )

 

Disambiguierung von "Roncken, Marly"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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.

Jochen Marly

Marly Antonia Maldaner Jacobi

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Optimal Scan for Pipelined Testing: An Asynchronous Foundation., , und . ITC, Seite 215-224. IEEE Computer Society, (1996)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)Characterization and Evaluation of a Compiled Asynchronous IC., , , , und . Asynchronous Design Methodologies, Volume A-28 von IFIP Transactions, Seite 209-221. North-Holland, (1993)Procedures and concurrency: A study in proof., , und . Symposium on Programming, Volume 137 von Lecture Notes in Computer Science, Seite 132-163. Springer, (1982)A Hierarchical Approach to Self-Timed Circuit Verification., , , , und . ASYNC, Seite 105-113. IEEE, (2019)