( en | de | ru )

 

Disambiguierung von "Sangiovanni-Vincentelli, Alberto L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Electronic Systems.

, , und . DAC, Seite 106-111. ACM Press, (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.

Valerio Sangiovanni

Alberto Moreira

Alberto Coda

Alberto Fierro

Alberto Botti

 

Weitere Publikationen von Autoren mit dem selben Namen

A hierarchical coordination language for interacting real-time tasks., , , , und . EMSOFT, Seite 132-141. ACM, (2006)Iterative Node Deployment in an Unknown Environment., , und . GLOBECOM, Seite 1-6. IEEE, (2009)On-chip communication design: roadblocks and avenues., und . CODES+ISSS, Seite 75-76. ACM, (2003)Grand challenges in embedded systems., , , , , , und . CODES+ISSS, Seite 333. ACM, (2005)Verification of Electronic Systems., , und . DAC, Seite 106-111. ACM Press, (1996)Use of Sensitivities and Generalized Substrate Models in Mixed-Signal IC Design., , , , und . DAC, Seite 227-232. ACM Press, (1996)Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool., , , und . DAC, Seite 254-260. ACM Press, (1995)On Thermal Effects in Deep Sub-Micron VLSI Interconnects., , , und . DAC, Seite 885-891. ACM Press, (1999)Logic Synthesis for Programmable Gate Arrays., , , , und . DAC, Seite 620-625. IEEE Computer Society Press, (1990)Solving the State Assignment Problem for Signal Transition Graphs., , , und . DAC, Seite 568-572. IEEE Computer Society Press, (1992)