( en | de | ru )

 

Disambiguierung von "Kurshan, Robert P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining Software and Hardware Verification Techniques.

, , , , und . Formal Methods Syst. Des., 21 (3): 251-280 (2002)

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.

Robert P Umbricht

Robert P Stidwill

Robert H P McGregor

P Hoppmann

-P Comes

 

Weitere Publikationen von Autoren mit dem selben Namen

Analysis of digital circuits through symbolic reduction., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (11): 1356-1371 (1991)A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata., , und . CAAP, Volume 431 von Lecture Notes in Computer Science, Seite 103-116. Springer, (1990)Model Checking Synchronous Timing Diagrams., , , und . FMCAD, Volume 1954 von Lecture Notes in Computer Science, Seite 283-298. Springer, (2000)Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams., , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 387-390. Springer, (2001)Model Checking and Abstraction.. SARA, Volume 2371 von Lecture Notes in Computer Science, Seite 1-17. Springer, (2002)An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment., , , , und . CHARME, Volume 3725 von Lecture Notes in Computer Science, Seite 254-268. Springer, (2005)Minimal length test vectors for multiple-fault detection., und . Theor. Comput. Sci., 315 (1): 191-208 (2004)Timing Verification by Successive Approximation., , , und . CAV, Volume 663 von Lecture Notes in Computer Science, Seite 137-150. Springer, (1992)Translating Software Designs for Model Checking., , , und . FASE, Volume 2984 von Lecture Notes in Computer Science, Seite 324-338. Springer, (2004)The Evolution of Commercial Formal Verification.. PDPTA, CSREA Press, (2000)