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 | Leveraging Applications of Formal Methods, Verification and Validation |
| 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, Volume 12479 |
|---|---|
| ISSN | 0302-9743 |
Konferenz
| Titel | 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020 |
|---|---|
| Dauer | 20 - 30 Oktober 2020 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Stadt | Rhodes |
| Land | Griechenland |
Externe IDs
| ORCID | /0000-0002-5321-9343/work/142236757 |
|---|