Нүүр зураг

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...

Бүрэн тодорхойлолт

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Байгууллагын зохиогч:	SpringerLink (Online service)
Бусад зохиолчид:	Ferreira, Carla (Засварлагч), Mezzina, Claudio Antares (Засварлагч)
Формат:	Цахим Цахим ном
Хэл сонгох:	англи
Хэвлэсэн:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Хэвлэл:	1st ed. 2025.
Цуврал:	Lecture Notes in Computer Science, 15732
Нөхцлүүд:	Software engineering. Operating systems (Computers). Computer networks . Computer science. Artificial intelligence. Software Engineering. Operating Systems. Computer Communication Networks. Theory of Computation. Artificial Intelligence.
Онлайн хандалт:	https://doi.org/10.1007/978-3-031-95497-9
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Ижил төстэй зүйлс

Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings /
Хэвлэсэн: (2024)

Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17–19, 2025, Proceedings /
Хэвлэсэн: (2025)

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings /
Хэвлэсэн: (2025)

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings /
Хэвлэсэн: (2024)

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings /
Хэвлэсэн: (2024)

Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings /
Хэвлэсэн: (2024)

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings /
Хэвлэсэн: (2025)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part III /
Хэвлэсэн: (2025)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30–July 3, 2025, Proceedings, Part II /
Хэвлэсэн: (2025)

Computational Science and Its Applications – ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 – July 3, 2025, Proceedings, Part I /
Хэвлэсэн: (2025)

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings /
Хэвлэсэн: (2023)

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings /
Хэвлэсэн: (2024)

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings /
Хэвлэсэн: (2024)

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9–10, 2024, Proceedings /
Хэвлэсэн: (2025)

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
Хэвлэсэн: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
Хэвлэсэн: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
Хэвлэсэн: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
Хэвлэсэн: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
Хэвлэсэн: (2025)

Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers /
Хэвлэсэн: (2024)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part V /
Хэвлэсэн: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
Хэвлэсэн: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
Хэвлэсэн: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
Хэвлэсэн: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
Хэвлэсэн: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part VI /
Хэвлэсэн: (2025)

Case-Based Reasoning Research and Development 33rd International Conference, ICCBR 2025, Biarritz, France, June 30–July 3, 2025, Proceedings /
Хэвлэсэн: (2025)

Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers /
Хэвлэсэн: (2023)

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Хэвлэсэн: (2023)

Broadband Communications, Networks, and Systems 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings /
Хэвлэсэн: (2023)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part I /
Хэвлэсэн: (2025)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part II /
Хэвлэсэн: (2025)

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Хэвлэсэн: (2023)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II /
Хэвлэсэн: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I /
Хэвлэсэн: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III /
Хэвлэсэн: (2025)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part II /
Хэвлэсэн: (2024)

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part I /
Хэвлэсэн: (2024)

Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8–12, 2025, Proceedings /
Хэвлэсэн: (2025)

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23–25, 2024, Proceedings /
Хэвлэсэн: (2024)