( en | de | ru )

 

Disambiguierung von "Sangiovanni-Vincentelli, Alberto L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design.

, , , , und . ACM Trans. Embed. Comput. Syst., 18 (1): 2:1-2:26 (2019)

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 Ricco

 

Weitere Publikationen von Autoren mit dem selben Namen

Task generation and compile-time scheduling for mixed data-control embedded software., , , , , , , und . DAC, Seite 489-494. ACM, (2000)Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks., , und . EMSOFT, Seite 183-186. ACM, (2005)A Novel VLSI Layout Fabric for Deep Sub-Micron Applications., , , , und . DAC, Seite 491-496. ACM Press, (1999)Reduced Offsets for Two-Level Multi-Valued Logic Minimization., , , und . DAC, Seite 290-296. IEEE Computer Society Press, (1990)Testability Solutions: Who Really Wants Them? (Panel Abstract).. DAC, Seite 611. ACM, (1991)Optimum Functional Decomposition Using Encoding., , und . DAC, Seite 408-414. ACM Press, (1994)Simultaneous Placement and Module Optimization of Analog IC's., , , und . DAC, Seite 31-35. ACM Press, (1994)A Verification Technique for Gated Clock., , und . DAC, Seite 123-127. ACM Press, (1993)Formal Verification of Embedded Systems based on CFSM Networks., , , , und . DAC, Seite 568-571. ACM Press, (1996)Automatic Synthesis of Interfaces Between Incompatible Protocols., , und . DAC, Seite 8-13. ACM Press, (1998)