( en | de | ru )

 

Disambiguierung von "Clarke, Edmund M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Supervisory Control Software Using State Proximity and Merging.

, , , und . HSCC, Volume 4981 von Lecture Notes in Computer Science, Seite 344-357. Springer, (2008)

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.

James Clarke

Anneliese Clarke

Barbara Clarke

Constanze Clarke

Kevin Clarke

 

Weitere Publikationen von Autoren mit dem selben Namen

Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic., und . Logic of Programs, Volume 131 von Lecture Notes in Computer Science, Seite 52-71. Springer, (1981)Model Checking: Software and Beyond., und . J. Univers. Comput. Sci., 13 (5): 639-649 (2007)Word Level Model Checking - Avoiding the Pentium FDIV Error., , und . DAC, Seite 645-648. ACM Press, (1996)Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking., , , , , , , und . FMCAD, Volume 1166 von Lecture Notes in Computer Science, Seite 19-33. Springer, (1996)Verifying security protocols with Brutus., , und . ACM Trans. Softw. Eng. Methodol., 9 (4): 443-487 (2000)Grand Challenge: Model Check Software., , und . VISSAS, Volume 1 von NATO Security through Science Series D: Information and Communication Security, Seite 55-68. IOS Press, (2005)Verification of the Futurebus+ Cache Coherence Protocol., , , , , , und . CHDL, Volume A-32 von IFIP Transactions, Seite 15-30. North-Holland, (1993)Studies of biological networks with statistical model checking: application to immune system cells., , , und . BCB, Seite 728. ACM, (2013)Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts., und . DAC, Seite 563-568. ACM, (2009)A SAT-based algorithm for reparameterization in symbolic simulation., , und . DAC, Seite 524-529. ACM, (2004)