Andere Kunden interessierten sich auch für
![Coordination Models and Languages]( "Coordination Models and Languages")
Coordination Models and Languages59,99 €![Coordination Models and Languages]( "Coordination Models and Languages")
Coordination Models and Languages88,99 €![Dependable Software Engineering. Theories, Tools, and Applications]( "Dependable Software Engineering. Theories, Tools, and Applications")
Dependable Software Engineering. Theories, Tools, and Applications48,99 €![Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification]( "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification")
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification48,99 €![Theoretical Aspects of Software Engineering]( "Theoretical Aspects of Software Engineering")
Theoretical Aspects of Software Engineering90,94 €![Formal Aspects of Component Software]( "Formal Aspects of Component Software")
Formal Aspects of Component Software43,99 €![A Journey from Process Algebra via Timed Automata to Model Learning]( "A Journey from Process Algebra via Timed Automata to Model Learning")
A Journey from Process Algebra via Timed Automata to Model Learning37,99 €
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.
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.