Sangiovanni-Vincentelli, Alberto
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
Demir, Alper
Sangiovanni-Vincentelli, Alberto
Paperback
Embedded Software: Second International Conference, Emsoft 2002, Grenoble, France, October 7-9, 2002. Proceedings
Sifakis, Joseph
Sangiovanni-Vincentelli, Alberto
Paperback
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
Demir, Alper
Sangiovanni-Vincentelli, Alberto
Hardcover
Algorithms for Synthesis and Testing of Asynchronous Circuits
Lavagno, Luciano
Sangiovanni-Vincentelli, Alberto L.
Hardcover
Noise Analysis of Radio Frequency Circuits
Mehrotra, Amit
Sangiovanni-Vincentelli, Alberto L.
Paperback
Noise Analysis of Radio Frequency Circuits
Mehrotra, Amit
Sangiovanni-Vincentelli, Alberto L.
Hardcover
Algorithms for Synthesis and Testing of Asynchronous Circuits
Lavagno, Luciano
Sangiovanni-Vincentelli, Alberto L.
Paperback
Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach
Lin, Chung-Wei
Sangiovanni-Vincentelli, Alberto
Hardcover
Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach
Lin, Chung-Wei
Sangiovanni-Vincentelli, Alberto
Paperback
Relaxation Techniques for the Simulation of VLSI Circuits
White, Jacob K.
Sangiovanni-Vincentelli, Alberto L.
Hardcover
Relaxation Techniques for the Simulation of VLSI Circuits
White, Jacob K.
Sangiovanni-Vincentelli, Alberto L.
Paperback
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
Brayton, Robert K.
Sangiovanni-Vincentelli, Alberto L.
Hardcover
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
Brayton, Robert K.
Sangiovanni-Vincentelli, Alberto L.
Paperback
Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation
Demicheli, Giovanni
Sangiovanni-Vincentelli, Alberto L.
Antognetti, P.
Paperback
Synchronous Equivalence: Formal Methods for Embedded Systems
Hsieh, Harry
Balarin, Felice
Sangiovanni-Vincentelli, Alberto L.
Hardcover
Hybrid Systems: Computation and Control: 4th International Workshop, Hscc 2001 Rome, Italy, March 28-30, 2001 Proceedings
Di Benedetto, Maria D.
Sangiovanni-Vincentelli, Alberto L.
Paperback
Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation
Demicheli, Giovanni
Sangiovanni-Vincentelli, Alberto L.
Antognetti, P.
Hardcover
Function/Architecture Optimization and Co-Design of Embedded Systems
Tabbara, Bassam
Tabbara, Abdallah
Sangiovanni-Vincentelli, Alberto L.
Hardcover
Synchronous Equivalence: Formal Methods for Embedded Systems
Hsieh, Harry
Balarin, Felice
Sangiovanni-Vincentelli, Alberto L.
Paperback
