Formal Aspects of Component Software
19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
(Sprache: Englisch)
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...
The 11 full papers included in this book...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
63.79 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Formal Aspects of Component Software “
Klappentext zu „Formal Aspects of Component Software “
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.
Inhaltsverzeichnis zu „Formal Aspects of Component Software “
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.
Bibliographische Angaben
- 2024, 1st ed. 2024, XXII, 229 Seiten, 40 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Javier Cámara, Sung-Shik Jongmans
- Verlag: Springer, Berlin
- ISBN-10: 303152182X
- ISBN-13: 9783031521829
Sprache:
Englisch
Kommentar zu "Formal Aspects of Component Software"
Schreiben Sie einen Kommentar zu "Formal Aspects of Component Software".
Kommentar verfassen