( en | de | ru )

 

Disambiguierung von "Peña, Marco A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Case Study for the Verification of Complex Timed Circuits: IPCMOS.

, , , und . DATE, Seite 44-51. IEEE Computer Society, (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.

Miguel Angel Peña A

Marco Vinicio Peña Alvarado

Jorge Alejandro Peña Sebald

Effektivität und Angemessenheit: Messung interkultureller Kompetenz im Assessment Center. Uni Jena, (2008)

Miguel Peña

Hugo Peña-Cortés

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems., und . CHARME, Volume 2860 von Lecture Notes in Computer Science, Seite 378-393. Springer, (2003)Structural Methods to Improve the Symbolic Analysis of Petri Nets., , und . ICATPN, Volume 1639 von Lecture Notes in Computer Science, Seite 26-45. Springer, (1999)Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits., , , und . DAC, Seite 620-625. ACM Press, (1997)Formal Verification of Safety Properties in Timed Circuits., , , und . ASYNC, Seite 2-11. IEEE Computer Society, (2000)Urban Growth, Real Estate Development and Indigenous Property: Simulating the Expansion Process in the City of Temuco, Chile., , , , und . ISPRS Int. J. Geo Inf., 10 (2): 101 (2021)Relative timing based verification of concurrent systems.. Polytechnic University of Catalonia, Spain, (2003)Combining Simulation and Guided Traversal for the Verification of Concurrent Systems., und . DATE, Seite 11158-11159. IEEE Computer Society, (2003)Partial order based approach to synthesis of speed-independent circuits., , , , , und . ASYNC, Seite 254-. IEEE Computer Society, (1997)Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits., und . ASYNC, Seite 222-232. IEEE Computer Society, (1996)TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 424-428. Springer, (2005)