Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers: 14485 (Lecture Notes in Computer Science, 14485)
by: Javier Cámara (Editor),Sung-Shik Jongmans(Editor)
Publisher:Springer
Edition:1st ed. 2024
Publication Date: 13 Jan. 2024
Language:English
Print Length:251 pages
ISBN-10:303152182X
ISBN-13:9783031521829
Book Description
This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.
About the Author
未经允许不得转载：电子书百科大全 » Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers: 14485 (Lecture Notes in Computer Science, 14485)
评论前必须登录！
登陆 注册