Home Advanced Search

Advanced Search - Page 1

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.)

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.)

Synchronous Equivalence: Formal Methods for Embedded Systems

PDF
English
Year: 2001
Author: Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)

Function/Architecture Optimization and Co-Design of Embedded Systems

PDF
English
Year: 2000
Author: Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli (auth.)

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

PDF
English
Year: 1992
Author: Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

DJVU
English
Year: 1992
Author: Amir Pnueli (auth.), Rudrapatna Shyamasundar (eds.)

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

DJVU
English
Year: 1997
Author: Amir Pnueli (auth.), Oded Maler (eds.)

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

PDF
English
Year: 2001
Author: Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

PDF
English
Year: 2017
Author: Chung-Wei Lin, Alberto Sangiovanni Vincentelli

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

PDF
English
Year: 2017;2018
Author: Lin, Chung-Wei;Sangiovanni-Vincentelli, Alberto