Dependable software engineering : theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, proceedings / Wei Dong, Jean-Pierre Talpin (eds.).
SETTA (Symposium) (8th : 2022 : Beijing, China).; Dong, Wei, editor.; Talpin, Jean-Pierre, editor.
2022
QA76.758
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Dependable software engineering : theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, proceedings / Wei Dong, Jean-Pierre Talpin (eds.).
Meeting Name SETTA (Symposium) (8th : 2022 : Beijing, China).
ISBN 9783031212130 (electronic bk.)
3031212134 (electronic bk.)
9783031212123
3031212126
DOI https://doi.org/10.1007/978-3-031-21213-0
Published Cham : Springer, [2022]
Copyright ©2022
Language English
Description 1 online resource (xxii, 235 pages) : illustrations (chiefly color).
Item Number 10.1007/978-3-031-21213-0 doi
Call Number QA76.758
Dewey Decimal Classification 005.1
Summary 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.
Note International conference proceedings.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed December 28, 2022).
Added Author Dong, Wei, editor.
Talpin, Jean-Pierre, editor.
Series Lecture notes in computer science ; 13649. 1611-3349
Available in Other Form Print version: 9783031212123
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Verification and Testing for Machine Learning
Dependable Software Development
Dependable CPS and concurrent systems
Theorem Proving and SAT.

Browse Subjects

Show more subjects...

Statistics

from
to
Export