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 €

Descrizione dell’editore

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.

GENERE
Computer e internet
PUBBLICATO
2024
12 gennaio
LINGUA
EN
Inglese
PAGINE
251
EDITORE
Springer Nature Switzerland
DATI DEL FORNITORE
Springer Science & Business Media LLC
DIMENSIONE
25
MB
Aquel Francisco Aquel Francisco
2021
Software Architecture Software Architecture
2020
Software Engineering and Formal Methods Software Engineering and Formal Methods
2020