| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Formal aspects of component software/ edited by Javier Cmara, Sung-Shik Jongmans. |
| Reminder of title: |
19th International Conference, FACS 2023, virtual event, October 19-20, 2023 : revised selected papers / |
| remainder title: |
FACS 2023 |
| other author: |
Cmara, Javier. |
| corporate name: |
FACS (Symposium) |
| Published: |
Cham :Springer Nature Switzerland : : 2024., |
| Description: |
xxii, 229 p. :ill. (some col.), digital ;24 cm. |
| [NT 15003449]: |
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. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Formal methods (Computer science) - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-52183-6 |
| ISBN: |
9783031521836 |