תמונות העטיפה

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

This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26–28, 2024. The 21 full papers included in this book were carefully reviewed and selected f...

תיאור מלא

שמור ב:

מידע ביבליוגרפי
מחבר תאגידי:	SpringerLink (Online service)
מחברים אחרים:	Bourke, Timothy (Editor), Chen, Liqian (Editor), Goharshady, Amir (Editor)
פורמט:	אלקטרוני ספר אלקטרוני
שפה:	אנגלית
יצא לאור:	Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
מהדורה:	1st ed. 2025.
סדרה:	Lecture Notes in Computer Science, 15469
נושאים:	Software engineering. Computer science. Artificial intelligence. Computer engineering. Computer networks . Software Engineering. Theory of Computation. Artificial Intelligence. Computer Engineering and Networks.
גישה מקוונת:	https://doi.org/10.1007/978-981-96-0602-3
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

פריטים דומים

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings /
יצא לאור: (2024)

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9–10, 2024, Proceedings /
יצא לאור: (2025)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part I /
יצא לאור: (2025)

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16–17, 2024, Proceedings, Part II /
יצא לאור: (2025)

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers /
יצא לאור: (2025)

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings /
יצא לאור: (2024)

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings /
יצא לאור: (2024)

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

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

Computing Science, Communication and Security 4th International Conference, COMS2 2023, Mehsana, Gujarat, India, February 6–7, 2023, Revised Selected Papers /
יצא לאור: (2023)

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings /
יצא לאור: (2025)

Broadband Communications, Networks, and Systems 13th EAI International Conference, BROADNETS 2022, Virtual Event, March 12-13, 2023 Proceedings /
יצא לאור: (2023)

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

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings /
יצא לאור: (2024)

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings /
יצא לאור: (2023)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I /
יצא לאור: (2025)

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II /
יצא לאור: (2025)

Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12–14, 2024, Revised Selected Papers /
יצא לאור: (2025)

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part III /
יצא לאור: (2024)

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part I /
יצא לאור: (2024)

Bioinformatics Research and Applications 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part II /
יצא לאור: (2024)

Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings /
יצא לאור: (2024)

Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5–7, 2024, Revised Selected Papers /
יצא לאור: (2025)

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings /
יצא לאור: (2024)

Smart Cities 5th Ibero-American Congress, ICSC-CITIES 2022, Cuenca, Ecuador, November 28-30, 2022, Revised Selected Papers /
יצא לאור: (2023)

Dependable Computing – EDCC 2024 Workshops SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings /
יצא לאור: (2024)

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings /
יצא לאור: (2024)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part II /
יצא לאור: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part I /
יצא לאור: (2025)

Computer Aided Systems Theory – EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III /
יצא לאור: (2025)

Service Science CCF 17th International Conference, ICSS 2024, Hong Kong, China, May 11–12, 2024, Revised Selected Papers /
יצא לאור: (2024)

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8–10, 2021, Revised Selected Papers /
יצא לאור: (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 /
יצא לאור: (2023)

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II /
יצא לאור: (2023)

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I /
יצא לאור: (2023)

Computational Science and Its Applications – ICCSA 2023 Workshops Athens, Greece, July 3–6, 2023, Proceedings, Part VIII /
יצא לאור: (2023)

Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part I /
יצא לאור: (2024)

Computational Science and Its Applications – ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part II /
יצא לאור: (2024)

Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13–17, 2023, Revised Selected Papers /
יצא לאור: (2024)

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings /
יצא לאור: (2023)