Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers Paperback / softback
Edited by Javier Camara, Sung-Shik Jongmans
Part of the Lecture Notes in Computer Science series
Paperback / softback
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.
Information
-
Out of stock
- Format:Paperback / softback
- Pages:229 pages, 40 Illustrations, color; 25 Illustrations, black and white; XXII, 229 p. 65 illus., 40 il
- Publisher:Springer International Publishing AG
- Publication Date:13/01/2024
- Category:
- ISBN:9783031521829
Information
-
Out of stock
- Format:Paperback / softback
- Pages:229 pages, 40 Illustrations, color; 25 Illustrations, black and white; XXII, 229 p. 65 illus., 40 il
- Publisher:Springer International Publishing AG
- Publication Date:13/01/2024
- Category:
- ISBN:9783031521829