From Verification to Explanation (Track Introduction)
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
It is becoming the norm that software artefacts participate in actions and decisions that affect humans. This trend has been catching momentum for decades, and is now amplified considerably by the remarkable abilities of machine-learnt methods.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Redakteure/-innen | Tiziana Margaria, Bernhard Steffen |
| Herausgeber (Verlag) | Springer, Berlin [u. a.] |
| Seiten | 1-7 |
| Seitenumfang | 7 |
| ISBN (Print) | 978-3-030-83722-8 |
| Publikationsstatus | Veröffentlicht - 2021 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Band | 12479 |
| ISSN | 0302-9743 |
Konferenz
| Titel | International Symposium on Leveraging Applications of Formal Methods, Verification and Validation 2020 |
|---|---|
| Kurztitel | ISoLA 2020 |
| Veranstaltungsnummer | 9 |
| Dauer | 20 - 30 Oktober 2020 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Online |
| Stadt | Rhodes |
| Land | Griechenland |
Externe IDs
| ORCID | /0000-0002-5321-9343/work/142236757 |
|---|---|
| Mendeley | d8830a4b-4455-3c4c-b2d6-8d520683ca59 |