Home Advanced Search

Advanced Search - Page 1

Introduction to Embedded Systems: A Cyber-Physical Systems Approach
  • PDF
  • English
  • Year: 2011
  • Author: Edward Ashford Lee, Sanjit Arunkumarr Seshia
Introduction to embedded systems: a cyber-physical systems approach
  • PDF
  • English
  • Year: 2017
  • Author: Edward Ashford Lee, Sanjit Arunkumar Seshia
The Coevolution: The Entwined Futures of Humans and Machines (The MIT Press)
  • EPUB
  • English
  • Year: 2020
  • Author: Edward Ashford Lee
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Wolfgang Thomas (auth.), P. Madhusudan, Sanjit A. Seshia (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (eds.)
Introduction to Embedded Systems - A Cyber-Physical Systems Approach
  • PDF
  • English
  • Year: 2011
  • Author: E. A. Lee and S. A. Seshia
Distributed Computing and Networking: 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Sanjit A. Seshia (auth.), Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha (eds.)
Rubber Woman (Quick Reads)
  • PDF
  • English
  • Year: 2009
  • Author: Ashford
search