( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Software Components for Reliable Automotive Systems.

, , , , , , и . DATE, стр. 549-554. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Valerio Sangiovanni

Alberto Moreira

Alberto Coda

Alberto Fierro

Alberto Ricco

 

Другие публикации лиц с тем же именем

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