Slika na naslovnici

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 /

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

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	SpringerLink (Online service)
Drugi avtorji:	Huisman, Marieke (Editor), Ravara, António (Editor)
Format:	Elektronski eKnjiga
Jezik:	angleščina
Izdano:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Izdaja:	1st ed. 2023.
Serija:	Lecture Notes in Computer Science, 13910
Teme:	Software engineering. Software Engineering.
Online dostop:	https://doi.org/10.1007/978-3-031-35355-0
Oznake:	Označite Brez oznak, prvi označite!

Podobne knjige/članki

Distributed Applications and Interoperable Systems 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings /
Izdano: (2023)

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 /
Izdano: (2024)

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 /
Izdano: (2025)

Coordination Models and Languages 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings /
Izdano: (2023)

Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings /
Izdano: (2024)

Distributed component architecture
od: Sadasivam, G. Sudha
Izdano: (2008)

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings /
Izdano: (2025)

Distributed software engineering
Izdano: (1995)

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings /
Izdano: (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 /
Izdano: (2025)

Intelligent Systems and Advanced Computing Sciences 4th International Conference, ISACS 2023, Taza, Morocco, October 26–27, 2023, Proceedings /
Izdano: (2025)

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 /
Izdano: (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 /
Izdano: (2025)

End-User Development 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6–8, 2023, Proceedings /
Izdano: (2023)

Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8–10, 2024, Proceedings /
Izdano: (2024)

Cloud Computing and Services Science 12th International Conference, CLOSER 2022, Virtual Event, April 27–29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26–28, 2023, Revised Selected Papers /
Izdano: (2024)

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings /
Izdano: (2023)

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
Izdano: (2024)

Distributed software engineering
od: Gautier, R. J.
Izdano: (1995)

Agile-SOFL Agile Formal Engineering Method /
od: Liu, Shaoying
Izdano: (2024)

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
Izdano: (2023)

An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques /
od: Hu, Chenglie
Izdano: (2023)

Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings /
Izdano: (2023)

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings /
Izdano: (2023)

Edge Computing – EDGE 2023 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings /
Izdano: (2024)

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Izdano: (2023)

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Izdano: (2024)

Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19–21, 2023, Revised Selected Papers /
Izdano: (2024)

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11–14, 2022, Revised Selected Papers, Part I /
Izdano: (2023)

Blockchain – ICBC 2023 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23–26, 2023, Proceedings /
Izdano: (2023)

Internet of Things – ICIOT 2023 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17–18, 2023, Proceedings /
Izdano: (2024)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
od: Morazán, Marco T.
Izdano: (2024)

Theoretical Aspects of Software Engineering 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings /
Izdano: (2024)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Izdano: (2023)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Izdano: (2023)

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers /
Izdano: (2024)

VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16–18, 2023, Revised Extended Selected Papers /
Izdano: (2024)

Services Computing – SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17–18, 2023, Proceedings /
Izdano: (2024)

Software Ecosystems Tooling and Analytics /
Izdano: (2023)

Reference Architectures for Critical Domains Industrial Uses and Impacts /
Izdano: (2023)