Experience Report: Application of Falsification Methods on the UxAS System.
In: NFM; (2018) S. 452-459
Konferenz
Zugriff:
Titel: |
Experience Report: Application of Falsification Methods on the UxAS System.
|
---|---|
Autor/in / Beteiligte Person: | Cumhur Erkan Tuncali ; Hoxha, Bardh ; Guohui Ding 0002 ; Fainekos, Georgios ; Sriram Sankaranarayanan 0001 |
Link: | |
Quelle: | NFM; (2018) S. 452-459 |
Veröffentlichung: | 2018 |
Medientyp: | Konferenz |
DOI: | 10.1007/978-3-319-77935-5_30 |
Sonstiges: |
|