Sanjit A. Seshia

Identifiers

Open LibraryOL7870169A

Top Subjects

Embedded computer systems (1)
Computer programs (1)

Books by Sanjit A. Seshia

Total count: 2

Introduction to Embedded SystemsA Cyber-Physical Systems Approach

MIT Press2016-01-01
Verified Software : Theories, Tools, and Experiments7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Springer London, Limited2016-01-01