书目名称 | Engineering of Complex Computer Systems |
副标题 | 28th International C |
编辑 | Guangdong Bai,Fuyuki Ishikawa,George A. Papadopoul |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | .This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19–21, 2024... ..The 18 full papers and 4 short papers presented here were carefully reviewed and selected from 68 submissions. These papers have been categorized into the following sections: Machine Learning and Complex Systems; Neural Network Verification; A.I. for Software Engineering; Smart Contract; Formal Methods; Security & Program Analysis.. |
出版日期 | Conference proceedings 2025 |
关键词 | Embedded and cyber-physical systems; Real-time systems; fault-tolerant systems ; Dependable systems ; D |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-031-66456-4 |
isbn_softcover | 978-3-031-66455-7 |
isbn_ebook | 978-3-031-66456-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |