書目名稱 | Reliable Software Technologies – Ada-Europe 2018 |
副標題 | 23rd Ada-Europe Inte |
編輯 | António Casimiro,Pedro M. Ferreira |
視頻video | http://file.papertrans.cn/827/826457/826457.mp4 |
叢書名稱 | Lecture Notes in Computer Science |
圖書封面 |  |
描述 | .This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. ..The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains.?. |
出版日期 | Conference proceedings 2018 |
關鍵詞 | computer architecture; computer software selection and evaluation; distributed systems; microprocessor |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-319-92432-8 |
isbn_softcover | 978-3-319-92431-1 |
isbn_ebook | 978-3-319-92432-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer International Publishing AG, part of Springer Nature 2018 |