Del 13649
Dependable Software Engineering. Theories, Tools, and Applications
Wei Dong, Jean-Pierre Talpin
Häftad, 2022
731 kr
Dependable Software Engineering. Theories, Tools, and Applications
8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
E-bok
Engelska, 2022873 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
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
Hoppa över listan
Du kanske också är intresserad av
Sustainable Development of Water Resources and Hydraulic Engineering in China
Wei Dong, Yanqing Lian, Yong Zhang
Inbunden, 2018
1 738 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 819 kr
Spatial-Temporal Cooperative Guidance for Multiple Flight Vehicles
Fang Deng, Ming Xin, Jianan Wang, Chunyan Wang, Wei Dong
E-bok
20252 283 kr
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu
Inbunden, 2017
1 073 kr
- Nyhet
Spatial-Temporal Cooperative Guidance for Multiple Flight Vehicles
Wei Dong, Chunyan Wang, Jianan Wang, Ming Xin, Fang Deng
Häftad, 2026
1 834 kr
Sustainable Development of Water Resources and Hydraulic Engineering in China
Wei Dong, Yanqing Lian, Yong Zhang
Häftad, 2018
1 305 kr