( en | de | ru )

 

Disambiguierung von "Sangiovanni-Vincentelli, Alberto L."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Contract-based design of control protocols for safety-critical cyber-physical systems.

, , , und . DATE, Seite 1-4. European Design and Automation Association, (2014)

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 Ricco

Alberto Moreira

Alberto Moreira

 

Weitere Publikationen von Autoren mit dem selben Namen

Two-Level Minimization of Multivalued Functions with Large Offsets., , , und . IEEE Trans. Computers, 42 (11): 1325-1342 (1993)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)A hierarchical coordination language for interacting real-time tasks., , , , und . EMSOFT, Seite 132-141. ACM, (2006)Guest Editors' Introduction: Trends and Directions in Microelectronics., und . IEEE Micro, 23 (3): 6-7 (2003)Exact Minimization of Binary Decision Diagrams Using Implicit Techniques., , , und . IEEE Trans. Computers, 47 (11): 1282-1296 (1998)A Metric for Linear Temporal Logic., , , , und . CoRR, (2018)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)Conservative approximations for heterogeneous design., , und . EMSOFT, Seite 155-164. ACM, (2004)