Copertina

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...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Ente Autore: SpringerLink (Online service)
Altri autori: Bourke, Timothy (Redattore), Chen, Liqian (Redattore), Goharshady, Amir (Redattore)
Natura: Elettronico eBook
Lingua:inglese
Pubblicazione: Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
Edizione:1st ed. 2025.
Serie:Lecture Notes in Computer Science, 15469
Soggetti:
Software engineering.
Computer science.
Artificial intelligence.
Computer engineering.
Computer networks .
Software Engineering.
Theory of Computation.
Artificial Intelligence.
Computer Engineering and Networks.
Accesso online:https://doi.org/10.1007/978-981-96-0602-3
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Descrizione
Riassunto: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 from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.
Descrizione fisica:XIX, 418 p. 120 illus., 65 illus. in color. online resource.
ISBN:9789819606023
ISSN:1611-3349 ;
DOI:10.1007/978-981-96-0602-3

Documenti analoghi