Buchumschlag

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 /

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to d...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	SpringerLink (Online service)
Weitere Verfasser:	Margaria, Tiziana (HerausgeberIn), Steffen, Bernhard (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Ausgabe:	1st ed. 2025.
Schriftenreihe:	Lecture Notes in Computer Science, 15222
Schlagworte:	Software engineering. Machine theory. Computer science. Computers, Special purpose. Computer systems. Microprogramming . Software Engineering. Formal Languages and Automata Theory. Computer Science Logic and Foundations of Programming. Special Purpose and Application-Based Systems. Computer System Implementation. Control Structures and Microprogramming.
Online-Zugang:	https://doi.org/10.1007/978-3-031-75387-9
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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 /
Veröffentlicht: (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 /
Veröffentlicht: (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 /
Veröffentlicht: (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 /
Veröffentlicht: (2025)

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

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

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

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

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

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

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

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

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13–15, 2024, Proceedings /
Veröffentlicht: (2025)

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

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

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings /
Veröffentlicht: (2025)

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings /
Veröffentlicht: (2023)

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

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

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3–4, 2022, Proceedings /
Veröffentlicht: (2023)

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part II /
Veröffentlicht: (2024)

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

Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23–25, 2024, Proceedings /
Veröffentlicht: (2024)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
Veröffentlicht: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /
Veröffentlicht: (2025)

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

Mobile Networks and Management 12th EAI International Conference, MONAMI 2022, Virtual Event, October 29-31, 2022, Proceedings /
Veröffentlicht: (2023)

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6–8, 2024, Proceedings /
Veröffentlicht: (2025)

Scheduling and Reconfiguration of Real-Time Systems A Supervisory Control Approach /
von: Wang, Xi, et al.
Veröffentlicht: (2023)

Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6–8, 2024, Proceedings /
Veröffentlicht: (2025)

Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28–29, 2024, Revised Selected Papers /
Veröffentlicht: (2025)

Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3–4, 2024, Proceedings /
Veröffentlicht: (2025)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part II /
Veröffentlicht: (2025)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part III /
Veröffentlicht: (2025)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part I /
Veröffentlicht: (2025)

Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings /
Veröffentlicht: (2025)

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26–30, 2024, Proceedings, Part II /
Veröffentlicht: (2025)

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26–30, 2024, Proceedings, Part I /
Veröffentlicht: (2025)

Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9–11, 2019, Revised Selected Papers /
Veröffentlicht: (2023)

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part III /
Veröffentlicht: (2024)