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

Publisher 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.

GENRE
Computing & Internet
RELEASED
2024
12 January
LANGUAGE
EN
English
LENGTH
251
Pages
PUBLISHER
Springer Nature Switzerland
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
25
MB
Aquel Francisco Aquel Francisco
2021
Software Architecture Software Architecture
2020
Software Engineering and Formal Methods Software Engineering and Formal Methods
2020