Dependable Software Engineering. Theories, Tools, and Applications
8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
Häftad, Engelska, 2022
Del 13649 i serien Lecture Notes in Computer Science
733 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 13649
Dependable Software Engineering. Theories, Tools, and Applications
Jean-Pierre Talpin, Wei Dong
E-bok
2022873 kr
Sustainable Development of Water Resources and Hydraulic Engineering in China
Wei Dong, Yanqing Lian, Yong Zhang
Inbunden, 2018
1 742 kr
Sustainable Development of Water Resources and Hydraulic Engineering in China
Yong Zhang, Yanqing Lian, Wei Dong
E-bok
20181 672 kr
Spatial-Temporal Cooperative Guidance for Multiple Flight Vehicles
Wei Dong, Chunyan Wang, Jianan Wang, Ming Xin, Fang Deng
Inbunden, 2025
1 851 kr
Spatial-Temporal Cooperative Guidance for Multiple Flight Vehicles
Fang Deng, Ming Xin, Jianan Wang, Chunyan Wang, Wei Dong
E-bok
20252 283 kr
Formal Methods and Models for System Design
Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin
2 278 kr
- Nyhet
Spatial-Temporal Cooperative Guidance for Multiple Flight Vehicles
Wei Dong, Chunyan Wang, Jianan Wang, Ming Xin, Fang Deng
Häftad, 2026
1 851 kr
Sustainable Development of Water Resources and Hydraulic Engineering in China
Wei Dong, Yanqing Lian, Yong Zhang
Häftad, 2018
1 308 kr