| 书目名称 | Reliable Software Technologies -- Ada-Europe 2013 |
| 副标题 | 18th International C |
| 编辑 | Hubert B. Keller,Erhard Plödereder,Herbert Klenk |
| 视频video | |
| 概述 | Up-to-date results.Fast track conference proceedings.State-of-the-art report |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems. |
| 出版日期 | Conference proceedings 2013 |
| 关键词 | middleware; non-determinism; parallelism; safety critical systems; software reliability |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-38601-5 |
| isbn_softcover | 978-3-642-38600-8 |
| isbn_ebook | 978-3-642-38601-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2013 |
发表于 2025-3-21 16:35:11
