书目名称 | Dependable Software Engineering. Theories, Tools, and Applications | 副标题 | 5th International Sy | 编辑 | Nan Guan,Joost-Pieter Katoen,Jun Sun | 视频video | | 丛书名称 | Lecture Notes in Computer Science | 图书封面 |  | 描述 | This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. .The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. . . | 出版日期 | Conference proceedings 2019 | 关键词 | data security; embedded systems; formal logic; formal methods; formal verifications; model checking; paral | 版次 | 1 | doi | https://doi.org/10.1007/978-3-030-35540-1 | isbn_softcover | 978-3-030-35539-5 | isbn_ebook | 978-3-030-35540-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | issn_series | 0302-9743 | copyright | Springer Nature Switzerland AG 2019 |
The information of publication is updating
书目名称Dependable Software Engineering. Theories, Tools, and Applications影响因子(影响力) 
书目名称Dependable Software Engineering. Theories, Tools, and Applications影响因子(影响力)学科排名 
书目名称Dependable Software Engineering. Theories, Tools, and Applications网络公开度 
书目名称Dependable Software Engineering. Theories, Tools, and Applications网络公开度学科排名 
书目名称Dependable Software Engineering. Theories, Tools, and Applications被引频次 
书目名称Dependable Software Engineering. Theories, Tools, and Applications被引频次学科排名 
书目名称Dependable Software Engineering. Theories, Tools, and Applications年度引用 
书目名称Dependable Software Engineering. Theories, Tools, and Applications年度引用学科排名 
书目名称Dependable Software Engineering. Theories, Tools, and Applications读者反馈 
书目名称Dependable Software Engineering. Theories, Tools, and Applications读者反馈学科排名 
|
|
|