Obálka

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

This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023. The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest re...

Uloženo v:

Podrobná bibliografie
Korporativní autor:	SpringerLink (Online service)
Další autoři:	Hermanns, Holger (Editor), Sun, Jun (Editor), Bu, Lei (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
Vydání:	1st ed. 2024.
Edice:	Lecture Notes in Computer Science, 14464
Témata:	Software engineering. Computer science. Artificial intelligence. Computer engineering. Computer networks . Software Engineering. Theory of Computation. Artificial Intelligence. Computer Engineering and Networks.
On-line přístup:	https://doi.org/10.1007/978-981-99-8664-4
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

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

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

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

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

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

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings /
Vydáno: (2023)

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9–10, 2024, Proceedings /
Vydáno: (2025)

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

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

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

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

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings /
Vydáno: (2024)

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

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

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

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings /
Vydáno: (2025)

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

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

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

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

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

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

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

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings /
Vydáno: (2024)

Bioinformatics Research and Applications 19th International Symposium, ISBRA 2023, Wrocław, Poland, October 9–12, 2023, Proceedings /
Vydáno: (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 /
Vydáno: (2023)

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings /
Vydáno: (2024)

Smart Cities 5th Ibero-American Congress, ICSC-CITIES 2022, Cuenca, Ecuador, November 28-30, 2022, Revised Selected Papers /
Vydáno: (2023)

Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12–14, 2024, Revised Selected Papers /
Vydáno: (2025)

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

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

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part III /
Vydáno: (2024)

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part I /
Vydáno: (2024)

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part II /
Vydáno: (2024)

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers /
Vydáno: (2023)

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings /
Vydáno: (2023)

Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings /
Vydáno: (2024)

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

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

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Vydáno: (2023)