Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings /
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing Tech...
-д хадгалсан:
| Байгууллагын зохиогч: | |
|---|---|
| Бусад зохиолчид: | , |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Хэвлэл: | 1st ed. 2025. |
| Цуврал: | Lecture Notes in Computer Science,
15732 |
| Нөхцлүүд: | |
| Онлайн хандалт: | https://doi.org/10.1007/978-3-031-95497-9 |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-95497-9 | ||
| 003 | DE-He213 | ||
| 005 | 20260706120044.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 250615s2025 sz | s |||| 0|eng d | ||
| 020 | |a 9783031954979 |9 978-3-031-95497-9 | ||
| 024 | 7 | |a 10.1007/978-3-031-95497-9 |2 doi | |
| 050 | 4 | |a QA76.758 | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a COM051230 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 thema | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 245 | 1 | 0 | |a Formal Techniques for Distributed Objects, Components, and Systems |h [electronic resource] : |b 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings / |c edited by Carla Ferreira, Claudio Antares Mezzina. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2025. | |
| 300 | |a X, 221 p. 51 illus., 36 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 341 | 0 | |b Table of contents navigation |2 onix | |
| 341 | 0 | |b Single logical reading order |2 onix | |
| 341 | 0 | |b Short alternative textual descriptions |2 onix | |
| 341 | 0 | |b Use of color is not sole means of conveying information |2 onix | |
| 341 | 0 | |b Use of high contrast between text and background color |2 onix | |
| 341 | 0 | |b Next / Previous structural navigation |2 onix | |
| 341 | 0 | |b All non-decorative content supports reading without sight |2 onix | |
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15732 | |
| 505 | 0 | |a -- tutorial paper. -- A Choreographic View of Smart Contracts. -- regular papers. -- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems. -- Sequential Composition of BDD Transition Systems for Model-Based Testing. -- Scaling Information Flow Control by-Construction to Component-based Software Architectures. -- Noninterference Analysis of Stochastically Timed Reversible Systems. -- Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems. -- Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. -- Towards Efficient Verification of Parallel Applications with Mc SimGrid. -- Revisited Convergence of a Self-Stabilizing BFS Spanning Tree Algorithm. -- short papers. -- Choreographies for Program Understanding. -- An Approach to Formalize Information-theoretic Security of Multiparty Computation Protocols. -- SNexpression: a new component for SN matrix-based structural analysis. -- Assessing Code Understanding in LLMs. -- LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. | |
| 520 | |a This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in June 2025, as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, during June 16–20, 2025. The 8 full papers and 5 short papers included in this book were carefully reviewed and selected from 25 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system. . | ||
| 532 | 8 | |a Accessibility summary: This PDF does not fully comply with PDF/UA standards, but does feature limited screen reader support, described non-text content (images, graphs), bookmarks for easy navigation and searchable, selectable text. Users of assistive technologies may experience difficulty navigating or interpreting content in this document. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. | |
| 532 | 8 | |a No reading system accessibility options actively disabled | |
| 532 | 8 | |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Operating systems (Computers). | |
| 650 | 0 | |a Computer networks . | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 1 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Operating Systems. |
| 650 | 2 | 4 | |a Computer Communication Networks. |
| 650 | 2 | 4 | |a Theory of Computation. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 700 | 1 | |a Ferreira, Carla. |e editor. |0 (orcid)0000-0003-3680-7634 |1 https://orcid.org/0000-0003-3680-7634 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Mezzina, Claudio Antares. |e editor. |0 (orcid)0000-0003-1556-2623 |1 https://orcid.org/0000-0003-1556-2623 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031954962 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031954986 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 15732 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-95497-9 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-239 | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||
| 950 | |a Focus Bundle Software and Systems (SpringerNature-85409) | ||