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 €

Descripción editorial

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.

GÉNERO
Informática e internet
PUBLICADO
2024
12 de enero
IDIOMA
EN
Inglés
EXTENSIÓN
251
Páginas
EDITORIAL
Springer Nature Switzerland
INFORMACIÓN DEL PROVEEDOR
Springer Science & Business Media LLC
TAMAÑO
25
MB
Aquel Francisco Aquel Francisco
2021
Software Architecture Software Architecture
2020
Software Engineering and Formal Methods Software Engineering and Formal Methods
2020