Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

    • USD 54.99
    • USD 54.99

Publisher Description

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.
The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

GENRE
Computing & Internet
RELEASED
2022
10 December
LANGUAGE
EN
English
LENGTH
257
Pages
PUBLISHER
Springer Nature Switzerland
SELLER
Springer Nature B.V.
SIZE
24.2
MB
Spatial-Temporal Cooperative Guidance for Multiple Flight Vehicles Spatial-Temporal Cooperative Guidance for Multiple Flight Vehicles
2025
The Cultural Politics of Affect and Emotion The Cultural Politics of Affect and Emotion
2022
Sustainable Development of Water Resources and Hydraulic Engineering in China Sustainable Development of Water Resources and Hydraulic Engineering in China
2018