( en | de | ru )

 

Disambiguierung von "Sangiovanni-Vincentelli, Alberto L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Models for Communication-Based Design.

, , und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 29-47. Springer, (2000)

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 Fierro

Alberto Moreira

Alberto Coda

Alberto Ricco

 

Weitere Publikationen von Autoren mit dem selben Namen

Highlights of VLSI Research at Berkeley., , und . FJCC, Seite 894-897. IEEE Computer Society, (1986)Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games., , , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 7-12. Elsevier, (2018)Optimal Control Using Bisimulations: Implementation., , , und . HSCC, Volume 2034 von Lecture Notes in Computer Science, Seite 175-188. Springer, (2001)Modeling and Designing Heterogeneous Systems., , , , , und . Concurrency and Hardware Design, Volume 2549 von Lecture Notes in Computer Science, Seite 228-273. Springer, (2002)An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink., , , und . MoDELS, Volume 8767 von Lecture Notes in Computer Science, Seite 353-369. Springer, (2014)A vision for embedded software., und . CASES, Seite 1-7. ACM, (2001)Mixed-level fault coverage estimation., und . DAC, Seite 553-559. IEEE Computer Society Press, (1986)Chameleon: a new multi-layer channel router., , , , , , und . DAC, Seite 495-502. IEEE Computer Society Press, (1986)Two-dimensional compaction by "zone refining"., , und . DAC, Seite 115-122. IEEE Computer Society Press, (1986)Conservative approximations for heterogeneous design., , und . EMSOFT, Seite 155-164. ACM, (2004)