Formal aspects of component software : 20th international conference, FACS 2024, Milan, Italy, September 9-10, 2024, proceedings / Diego Marmsoler, Meng Sun, editors.
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submission...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | FACS 2024 |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
[2024]
|
| Series: | Lecture notes in computer science ;
15189. |
| Subjects: |
| Summary: | This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain. |
|---|---|
| Item Description: | International conference proceedings. Includes author index. |
| Physical Description: | 1 online resource (xvii, 147 pages) : illustrations (some color). |
| ISBN: | 9783031712616 3031712617 |
| ISSN: | 1611-3349 ; |
| Source of Description, Etc. Note: | Online resource; title from PDF title page (SpringerLink, viewed September 10, 2024). |