Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
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...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Phiên bản: | 1st ed. 2024. |
| Loạt: | Lecture Notes in Computer Science,
14485 |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://doi.org/10.1007/978-3-031-52183-6 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Mục lục:
- 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.