Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "122239318"
Treffer 1 von 36
|
|
| Link zu diesem Datensatz | https://d-nb.info/1370471521 |
| Art des Inhalts | Konferenzschrift |
| Titel | Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures / edited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu |
| Person(en) |
Bowen, Jonathan P. (Herausgeber) Gomes, Cláudio (Herausgeber) Liu, Zhiming (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2025 |
| Verlag | Singapore : Springer Nature Singapore, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2025 |
| Umfang/Format | Online-Ressource, XIX, 171 p. 45 illus., 34 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-981-9646-55-5 Printed edition:: ISBN: 978-981-9646-57-9 |
| Inhalt | SETSS 2024 School -- What Came First, Mathematics or Computing? -- From Logic to Programming -- Digital Twin Tutorial: The Incubator Case Study -- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods -- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing -- SETSS 2024 Workshop -- Software Engineering Experiences of an Optimist -- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2507030420374.937980677347 DOI: 10.1007/978-981-96-4656-2 |
| URL | https://doi.org/10.1007/978-981-96-4656-2 |
| ISBN/Einband/Preis | 978-981-96-4656-2 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 15584 |
| DDC-Notation | 006.3 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 36
Administration
