UID:
almahu_9949709314202882
Format:
XXII, 229 p. 65 illus., 40 illus. in color.
,
online resource.
Edition:
1st ed. 2024.
ISBN:
9783031521836
Series Statement:
Lecture Notes in Computer Science, 14485
Content:
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.
Note:
Research Papers -- Symbolic Path-guided Test Cases for Models with Data and Time -- Model-Based Testing of Asynchronously Communicating Distributed Controllers -- A Mechanized Semantics for Component-based Systems in the HAMR AADL Runtime -- A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer -- Joint use of SysML and Reo to specify and verify the compatibility of CPS components -- From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs -- Anniversary Papers -- Formal Model Engineering of Distributed CPSs using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL -- Challenges Engaging Formal CBSE in Industrial Applications -- Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories -- Overview on Constrained Multiparty Synchronisation in Team Automata -- Embedding Formal Verification in Model-Driven Software Engineering with SLCO: An Overview.
In:
Springer Nature eBook
Additional Edition:
Printed edition: ISBN 9783031521829
Additional Edition:
Printed edition: ISBN 9783031521843
Language:
English
DOI:
10.1007/978-3-031-52183-6
URL:
https://doi.org/10.1007/978-3-031-52183-6
