Sung-Shik Jongmans – författare
Formal Aspects of Component Software
16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings
544 kr
Skickas inom 10-15 vardagar
687 kr
Läs direkt efter köp
Coordination Models and Languages
25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
782 kr
Skickas inom 10-15 vardagar
944 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions.The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.
644 kr
Skickas inom 5-8 vardagar
Formal Aspects of Component Software
19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
703 kr
Skickas inom 5-8 vardagar
865 kr
Läs direkt efter köp
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.