Formal Techniques for Distributed Objects, Components, and Systems
43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
-
- US$59.99
-
- US$59.99
출판사 설명
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.
The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.
장르
컴퓨터 및 인터넷
출시일
2023년
6월 9일
언어
EN
영어
길이
239
페이지
출판사
Springer Nature Switzerland
판매자
Springer Nature B.V.
크기
23
MB
Tools and Algorithms for the Construction and Analysis of Systems
2018년
Tools and Algorithms for the Construction and Analysis of Systems
2018년
Tools and Algorithms for the Construction and Analysis of Systems
2019년
Tests and Proofs
2024년
Concise Guide to Software Verification
2023년
Formal Methods for Industrial Critical Systems
2022년