书目名称 | Reliable Software Technologies – Ada-Europe 2017 |
副标题 | 22nd Ada-Europe Inte |
编辑 | Johann Blieberger,Markus Bader |
视频video | http://file.papertrans.cn/827/826456/826456.mp4 |
概述 | Includes supplementary material: |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017...The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.. |
出版日期 | Conference proceedings 2017 |
关键词 | parallel processing systems; cyber physical systems; embedded systems; embedded software; multiparadigm |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-319-60588-3 |
isbn_softcover | 978-3-319-60587-6 |
isbn_ebook | 978-3-319-60588-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer International Publishing AG 2017 |