Omslagsbillede

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, wer...

Fuld beskrivelse

Saved in:

Bibliografiske detaljer
Institution som forfatter:	SpringerLink (Online service)
Andre forfattere:	Ferreira, Carla (Editor), Willemse, Tim A. C. (Editor)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Udgivelse:	1st ed. 2023.
Serier:	Lecture Notes in Computer Science, 14323
Fag:	Software engineering. Data structures (Computer science). Information theory. Logic programming. Microprogramming . Computer systems. Computer programming. Software Engineering. Data Structures and Information Theory. Logic in AI. Control Structures and Microprogramming. Computer System Implementation. Programming Techniques.
Online adgang:	https://doi.org/10.1007/978-3-031-47115-5
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings /
Udgivet: (2025)

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

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

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

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

Transactions on Petri Nets and Other Models of Concurrency XVII
Udgivet: (2024)

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers /
Udgivet: (2023)

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

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

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

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20–22, 2024, Proceedings /
Udgivet: (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 /
Udgivet: (2025)

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings /
Udgivet: (2023)

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12–16, 2024, Revised Selected Papers /
Udgivet: (2025)

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

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings /
Udgivet: (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 /
Udgivet: (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 /
Udgivet: (2025)

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28–30, 2023, Revised Selected Papers /
Udgivet: (2023)

Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2–6, 2023, Proceedings /
Udgivet: (2023)

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

Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21–25, 2023, Proceedings /
Udgivet: (2023)

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

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
Udgivet: (2025)

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

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 – July 4, 2024, Proceedings, Part I /
Udgivet: (2025)

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 – July 4, 2024, Proceedings, Part II /
Udgivet: (2025)

Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings /
Udgivet: (2023)

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Udgivet: (2023)

Job Scheduling Strategies for Parallel Processing 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers /
Udgivet: (2023)

Job Scheduling Strategies for Parallel Processing 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers /
Udgivet: (2023)

Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers /
Udgivet: (2025)

Information Security and Cryptology – ICISC 2023 26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 – December 1, 2023, Revised Selected Papers, Part I /
Udgivet: (2024)

Information Security and Cryptology – ICISC 2023 26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 – December 1, 2023, Revised Selected Papers, Part II /
Udgivet: (2024)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Udgivet: (2025)

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

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

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers /
Udgivet: (2023)

Digital Design from the VLSI Perspective Concepts for VLSI Beginners /
af: Taraate, Vaibbhav
Udgivet: (2023)

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