Formal Aspects of Component Software Formal Aspects of Component Software

Formal Aspects of Component Software

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

    • 54,99 €
    • 54,99 €

Beschreibung des Verlags

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.

GENRE
Computer und Internet
ERSCHIENEN
2024
12. Januar
SPRACHE
EN
Englisch
UMFANG
251
Seiten
VERLAG
Springer Nature Switzerland
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
25
 MB
Aquel Francisco Aquel Francisco
2021
Software Architecture Software Architecture
2020
Software Engineering and Formal Methods Software Engineering and Formal Methods
2020