Delwedd Flaen

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II /

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awdur Corfforaethol:	SpringerLink (Online service)
Awduron Eraill:	André, Étienne (Golygydd), Sun, Jun (Golygydd)
Fformat:	Electronig eLyfr
Iaith:	Saesneg
Cyhoeddwyd:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Rhifyn:	1st ed. 2023.
Cyfres:	Lecture Notes in Computer Science, 14216
Pynciau:	Software engineering. Artificial intelligence. Computer science. Computers. Computer engineering. Computer networks . Software Engineering. Artificial Intelligence. Theory of Computation. Computer Hardware. Computer Engineering and Networks.
Mynediad Ar-lein:	https://doi.org/10.1007/978-3-031-45332-8
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I /
Cyhoeddwyd: (2023)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II /
Cyhoeddwyd: (2025)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /
Cyhoeddwyd: (2025)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings /
Cyhoeddwyd: (2023)

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

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

Verification and Evaluation of Computer and Communication Systems 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings /
Cyhoeddwyd: (2024)

Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers /
Cyhoeddwyd: (2023)

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings /
Cyhoeddwyd: (2024)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27–29, 2023, Proceedings /
Cyhoeddwyd: (2023)

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers /
Cyhoeddwyd: (2025)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part II /
Cyhoeddwyd: (2025)

Broadband Communications, Networks, and Systems 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings /
Cyhoeddwyd: (2023)

Verification and Evaluation of Computer and Communication Systems 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings /
Cyhoeddwyd: (2025)

Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9–11, 2025, Proceedings /
Cyhoeddwyd: (2025)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part I /
Cyhoeddwyd: (2025)

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

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings /
Cyhoeddwyd: (2025)

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers /
Cyhoeddwyd: (2025)

Computational Science and Its Applications – ICCSA 2023 Workshops Athens, Greece, July 3–6, 2023, Proceedings, Part VIII /
Cyhoeddwyd: (2023)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
Cyhoeddwyd: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
Cyhoeddwyd: (2025)

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

Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20–22, 2024, Proceedings /
Cyhoeddwyd: (2024)

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings /
Cyhoeddwyd: (2024)

Service-Oriented Computing 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II /
Cyhoeddwyd: (2023)

Technological Innovation for Connected Cyber Physical Spaces 14th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2023, Caparica, Portugal, July 5–7, 2023, Proceedings /
Cyhoeddwyd: (2023)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
Cyhoeddwyd: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
Cyhoeddwyd: (2025)

Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
Cyhoeddwyd: (2025)

Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16–19, 2023, Proceedings /
Cyhoeddwyd: (2023)

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27–29, 2023, Proceedings /
Cyhoeddwyd: (2023)

Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13–17, 2023, Revised Selected Papers /
Cyhoeddwyd: (2024)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part V /
Cyhoeddwyd: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
Cyhoeddwyd: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
Cyhoeddwyd: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
Cyhoeddwyd: (2025)

Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part VI /
Cyhoeddwyd: (2025)

Computational Science – ICCS 2023 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II /
Cyhoeddwyd: (2023)

Emerging Technology for Sustainable Development Select Proceedings of EGTET 2022 /
Cyhoeddwyd: (2024)