Coordination Models and Languages Coordination Models and Languages

Coordination Models and Languages

24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

    • US$99.99
    • US$99.99

출판사 설명

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.
The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.

장르
컴퓨터 및 인터넷
출시일
2022년
6월 13일
언어
EN
영어
길이
255
페이지
출판사
Springer Nature Switzerland
판매자
Springer Nature B.V.
크기
32.7
MB
Journeys Between Formal Methods and the Railway Industry Journeys Between Formal Methods and the Railway Industry
2026년
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
2025년
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2025년
Integrated Formal Methods Integrated Formal Methods
2022년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2020년
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
2019년