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

    • $54.99
    • $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
Computers & Internet
RELEASED
2022
December 10
LANGUAGE
EN
English
LENGTH
257
Pages
PUBLISHER
Springer Nature Switzerland
SELLER
Springer Nature B.V.
SIZE
24.2
MB
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
2019
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
2021
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
2022
Formal Methods Formal Methods
2021
Fundamentals of Software Engineering Fundamentals of Software Engineering
2021
NASA Formal Methods NASA Formal Methods
2022
The Cultural Politics of Affect and Emotion The Cultural Politics of Affect and Emotion
2022
Menu australien - À table avec les Grands Explorateurs Menu australien - À table avec les Grands Explorateurs
2012
Spatial-Temporal Cooperative Guidance for Multiple Flight Vehicles Spatial-Temporal Cooperative Guidance for Multiple Flight Vehicles
2025
Sustainable Development of Water Resources and Hydraulic Engineering in China Sustainable Development of Water Resources and Hydraulic Engineering in China
2018
Menu chinois - À table avec les Grands Explorateurs Menu chinois - À table avec les Grands Explorateurs
2012