Search

Select theme:

Shopping cart

Subtotal
$97.00
View cart Checkout

Saved articles

You have not yet added any article to your bookmarks!

Browse articles
Newsletter image

Subscribe to the Newsletter

Join 10k+ people to get notified about new posts, news and tips.

Do not worry we don't spam!

GDPR Compliance

We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

  • Home
Formal Aspects of Component Software

Formal Aspects of Component Software

By Javier Cámara & Sung-Shik Jongmans Computers 12/01/2024

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.

Read More
More Books from Javier Cámara & Sung-Shik Jongmans
Formal Aspects of Component Software Javier Cámara & Sung-Shik Jongmans
Formal Aspects of Component Software
Software Engineering and Formal Methods Javier Cámara & Martin Steffen
Software Engineering and Formal Methods
Software Architecture Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Cámara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns & Uwe Zdun
Software Architecture
Aquel Francisco Javier Cámara
Aquel Francisco
Comments