Engineering Trustworthy Software Systems
Produktnummer:
18cb05a7eba52c40aeb4269bd7ea6b860b
| Themengebiete: | Artificial Intelligence Computer Science Computing Digital Twins High Integrity Systems Logic Mathematics Programming Safety-Critical Systems Semantics |
|---|---|
| Veröffentlichungsdatum: | 05.04.2025 |
| EAN: | 9789819646555 |
| Sprache: | Englisch |
| Seitenzahl: | 171 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bowen, Jonathan P. Gomes, Cláudio Liu, Zhiming |
| Verlag: | Springer Singapore |
| Untertitel: | 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures |
Produktinformationen "Engineering Trustworthy Software Systems"
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
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen