Tapia Tarifa / Proença Formal Aspects of Component Software
1. Auflage 2022
ISBN: 978-3-031-20872-0
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
E-Book, Englisch, 245 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-20872-0
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Modelling.- Verification.- Logics.- Semantics.- Types.- Choreographies.