Formal Techniques for Distributed Objects, Components, and Systems, Kartoniert / Broschiert
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
(soweit verfügbar beim Lieferanten)
- Herausgeber:
- Carla Ferreira, Claudio Antares Mezzina
- Verlag:
- Springer, 06/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783031954962
- Artikelnummer:
- 12326142
- Umfang:
- 232 Seiten
- Gewicht:
- 359 g
- Maße:
- 235 x 155 mm
- Stärke:
- 13 mm
- Erscheinungstermin:
- 15.6.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
.- 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.
