Engineering Trustworthy Software Systems: 6th International School, Setss 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024. The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on -Preparatory Course: Introduction to Mathematical Logic and Logic of Programming; -Introduction to Digital Twins -Theories of Contracts and Their Applications -From Automata Models to Validated BCI-Based Cooperative Control On the Viability of Rigorous Approaches to Human-Cyber-Physical Systems of Systems; What Came First, Math or Computing? -What Came First, Math or Computing? -Software Engineering for Explainable AI -Distribution Testing: The New Frontier for Formal Methods

• Format: Paperback
• Language: English
• ISBN: 9819646553
• ISBN13: 9789819646555
• Release Date: April 2025
• Publisher: Springer
• Length: 171 Pages
• Weight: 0.61 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"