Formal Aspects of Component Software

£54.99

Formal Aspects of Component Software

19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Language: reference and general Information theory Algorithms and data structures Software Engineering Mathematical theory of computation Systems analysis and design Natural language and machine translation

Dinosaur mascot

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 12th January 2024

Format: LCP-protected ePub

ISBN: 9783031521836


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.

Show moreShow less