000 | 03103nam a22005655i 4500 | ||
---|---|---|---|
001 | 978-3-642-38853-8 | ||
003 | DE-He213 | ||
005 | 20200421111202.0 | ||
007 | cr nn 008mamaa | ||
008 | 130614s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642388538 _9978-3-642-38853-8 |
||
024 | 7 |
_a10.1007/978-3-642-38853-8 _2doi |
|
050 | 4 | _aTK7874.6 | |
072 | 7 |
_aUYQE _2bicssc |
|
072 | 7 |
_aCOM025000 _2bisacsh |
|
082 | 0 | 4 |
_a004.6 _223 |
245 | 1 | 0 |
_aEmbedded Systems: Design, Analysis and Verification _h[electronic resource] : _b4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings / _cedited by Gunar Schirner, Marcelo G�otz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
|
300 |
_aXIV, 354 p. 136 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aIFIP Advances in Information and Communication Technology, _x1868-4238 ; _v403 |
|
505 | 0 | _aDesign methodologies -- Non-functional aspects of embedded systems -- Verification -- Performance analysis -- Real-time systems -- Embedded system applications -- Real-time aspects in distributed systems. | |
520 | _aThis book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aSpecial purpose computers. | |
650 | 0 | _aComputer system failures. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer-aided engineering. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aSpecial Purpose and Application-Based Systems. |
650 | 2 | 4 | _aSystem Performance and Evaluation. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aComputer-Aided Engineering (CAD, CAE) and Design. |
700 | 1 |
_aSchirner, Gunar. _eeditor. |
|
700 | 1 |
_aG�otz, Marcelo. _eeditor. |
|
700 | 1 |
_aRettberg, Achim. _eeditor. |
|
700 | 1 |
_aZanella, Mauro C. _eeditor. |
|
700 | 1 |
_aRammig, Franz J. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642388521 |
830 | 0 |
_aIFIP Advances in Information and Communication Technology, _x1868-4238 ; _v403 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-38853-8 |
912 | _aZDB-2-SCS | ||
942 | _cEBK | ||
999 |
_c53897 _d53897 |