Embedded Systems: Design, Analysis and Verification
Abstract
Book Front Matter of AICT 403
Domains
| Origin | Files produced by the author(s) |
|---|
Books
Year : 2013
Connect in order to contact the contributor
https://inria.hal.science/hal-01466697
Submitted on : Monday, February 13, 2017-4:39:49 PM
Last modification on : Thursday, November 6, 2025-3:24:03 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01466697 , version 1
- DOI : 10.1007/978-3-642-38853-8
Cite
Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. Embedded Systems: Design, Analysis and Verification. Springer, AICT-403, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-38852-1. ⟨10.1007/978-3-642-38853-8⟩. ⟨hal-01466697⟩
186
View
527
Download