Engineering Trustworthy Software Systems : 6th International School, Setss 2024, Chongqing, China, April 14?21, 2024, Tutorial Lectures
Bowen, Jonathan P. (EDT); Gomes, Cláudio (EDT); Liu, Zhiming (EDT)
ISBN 10: 9819646553 ISBN 13: 9789819646555
Published by Springer, 2025
Used
Soft cover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since April 6, 2009
This specific item is no longer available.
About this Item
Description:
Unread book in perfect condition. Seller Inventory # 50081575
Synopsis:
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
About the Author:
Zhiming Liu is a professor at Southwest University, Chongqing, China. His research interests lie in the area of software theory and methods, with a particular focus on the modeling, design, and verfication of software and systems.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Engineering Trustworthy Software Systems : ...
Publisher: Springer
Publication Date: 2025
Binding: Soft cover
Condition: As New