Slika omota

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings /

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized...

Spremljeno u:

Bibliografski detalji
Autor kompanije:	SpringerLink (Online service)
Daljnji autori:	Chechik, Marsha (Urednik), Katoen, Joost-Pieter (Urednik), Leucker, Martin (Urednik)
Format:	Elektronički e-knjiga
Jezik:	engleski
Izdano:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Izdanje:	1st ed. 2023.
Serija:	Lecture Notes in Computer Science, 14000
Teme:	Software engineering. Computer science. Computers, Special purpose. Programming languages (Electronic computers). Microprogramming . Natural language processing (Computer science). Software Engineering. Computer Science Logic and Foundations of Programming. Special Purpose and Application-Based Systems. Programming Language. Control Structures and Microprogramming. Natural Language Processing (NLP).
Online pristup:	https://doi.org/10.1007/978-3-031-27481-7
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Slični predmeti

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Izdano: (2023)

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /
Izdano: (2024)

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings /
Izdano: (2025)

Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers /
Izdano: (2023)

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers /
Izdano: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V /
Izdano: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III /
Izdano: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV /
Izdano: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II /
Izdano: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I /
Izdano: (2025)

Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers /
Izdano: (2023)

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Izdano: (2024)

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers /
Izdano: (2024)

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Izdano: (2023)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II /
Izdano: (2024)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I /
Izdano: (2024)

Formal Analysis for Natural Language Processing: A Handbook
od: Feng, Zhiwei
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)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Izdano: (2024)

Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers /
Izdano: (2023)

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Izdano: (2023)

Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers /
Izdano: (2024)

Explainable and Transparent AI and Multi-Agent Systems 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers /
Izdano: (2023)

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /
Izdano: (2023)

Handbook on Natural Language Processing for Requirements Engineering
Izdano: (2025)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 17th International Conference, NooJ 2023, Zadar, Croatia, May 31–June 2, 2023, Revised Selected Papers /
Izdano: (2024)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 18th International Conference, NooJ 2024, Bergamo, Italy, June 5–7, 2024, Revised Selected Papers /
Izdano: (2025)

Data Management Technologies and Applications 12th International Conference, DATA 2023, Rome, Italy, July 11–13, 2023, Revised Selected Papers /
Izdano: (2024)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Izdano: (2024)

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part I /
Izdano: (2023)

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part II /
Izdano: (2023)

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings /
Izdano: (2024)

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings /
Izdano: (2024)

Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings /
Izdano: (2023)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Izdano: (2023)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Izdano: (2023)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Izdano: (2025)

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part II /
Izdano: (2025)

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part I /
Izdano: (2025)

Euro-Par 2023: Parallel Processing 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings /
Izdano: (2023)