検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 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 / edited by Marieke Huisman, António Ravara T2 Lecture Notes in Computer Science. ISSN:16113349 A1 Huisman, Marieke A1 Ravara, António A1 SpringerLink (Online service) YR 2023 FD 2023 SP XIV, 225 p. 80 illus., 51 illus. in color K1 Software engineering K1 Software Engineering ED 1st ed. 2023. PB Springer Nature Switzerland : Imprint: Springer PP Cham SN 9783031353550 LA English (英語) CL LCC:QA76.758 CL DC23:005.1 NO Concurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets NO 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 NO HTTP:URL=https://doi.org/10.1007/978-3-031-35355-0 NO 書誌ID=EB00002189; LK [E Book]https://doi.org/10.1007/978-3-031-35355-0 OL 30