Home Advanced Search

Advanced Search - Page 1

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Manfred Morari (auth.), Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)
Embedded Systems Development: From Functional Models to Implementations
  • PDF
  • English
  • Year: 2014
  • Author: Alberto Sangiovanni-Vincentelli, Haibo Zeng (auth.), Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel (eds.)
Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
Noise Analysis of Radio Frequency Circuits
  • PDF
  • English
  • Year: 2004
  • Author: Amit Mehrotra, Alberto Sangiovanni-Vincentelli (auth.)
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
  • PDF
  • English
  • Year: 1998
  • Author: Alper Demir, Alberto Sangiovanni-Vincentelli (auth.)
Relaxation Techniques for the Simulation of VLSI Circuits
  • PDF
  • English
  • Year: 1986
  • Author: Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)
H-Systems: Observability, Diagnosability, and Predictability of Hybrid Dynamical Systems
  • PDF
  • English
  • Year: 2023
  • Author: Elena De Santis, Maria Domenica Di Benedetto
H-Systems: Observability, Diagnosability, and Predictability of Hybrid Dynamical Systems
  • EPUB
  • English
  • Year: 2023
  • Author: Elena De Santis; Maria Domenica Di Benedetto
Embedded Systems Development: From Functional Models to Implementations
  • PDF
  • English
  • Year: 2013
  • Author: Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
Synchronous Equivalence: Formal Methods for Embedded Systems
  • PDF
  • English
  • Year: 2001
  • Author: Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)
search