Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers de Javier Cámara

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers: Lecture Notes in Computer Science, cartea 14485

Editat de Javier Cámara, Sung-Shik Jongmans
en Limba Engleză Paperback – 13 ian 2024
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 39971 lei

Preț vechi: 49964 lei
-20%

Puncte Express: 600
Preț estimativ în valută:
7067€ • 8333$ • 6178£

Carte tipărită la comandă

Livrare economică 04-18 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783031521829
ISBN-10: 303152182X
Pagini: 229
Ilustrații: XXII, 229 p. 65 illus., 40 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.36 kg
Ediția:1st ed. 2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

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.