Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings EPUB
Edited by Silvia Lizeth Tapia Tarifa, Jose Proenca
Part of the Lecture Notes in Computer Science series
EPUB
- Information
Description
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.
The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.
Information
-
Download Now
- Format:EPUB
- Publisher:Springer International Publishing
- Publication Date:02/11/2022
- Category:
- ISBN:9783031208720
Information
-
Download Now
- Format:EPUB
- Publisher:Springer International Publishing
- Publication Date:02/11/2022
- Category:
- ISBN:9783031208720