Toggle navigation
reposiTUm
ÜBER REPOSITUM
HILFE
Anmelden
Aktuelles
Browsen nach
Publikationstypen
Organisationseinheiten
Forschende
Projekte
TU Wien Academic Press
Open-Access-Schriftenreihen
Hochschulschriften
Digitalisate
Erscheinungsjahr
Datensatz Zitierlink:
http://hdl.handle.net/20.500.12708/193468
-
Titel:
Specifying and Testing k-Safety Properties for Machine-Learning Models
en
Zitat:
Christakis, M. (2023, November 8).
Specifying and Testing k-Safety Properties for Machine-Learning Models
[Presentation]. 68th IFIP WG2.4 (Online) Meeting on Software Implementation Technology, Austria.
-
Publikationstyp:
Vortrag - Presentation
de
Sprache:
Englisch
-
Autor_innen:
Christakis, Maria
-
Organisationseinheit:
E194-01 - Forschungsbereich Software Engineering
-
Datum (veröffentlicht):
8-Nov-2023
-
Veranstaltungsname:
68th IFIP WG2.4 (Online) Meeting on Software Implementation Technology
en
Veranstaltungszeitraum:
6-Nov-2023 - 8-Nov-2023
-
Veranstaltungsort:
Österreich
-
Keywords:
specification; testing; machine-learning models; k-safety properties
en
Forschungsschwerpunkte:
Information Systems Engineering: 100%
-
Wissenschaftszweig:
1020 - Informatik: 100%
-
Enthalten in den Sammlungen:
Presentation
Zur Langanzeige
Google Scholar
TM
Check