Author(s): Edward Ashford Lee, Sanjit Arunkumar Seshia
Edition: 2nd
Publisher: MIT Press
Year: 2017
Language: English
Pages: 564 (585)
Tags: Embedded Systems, Intro