Towards the Verification of Neural Networks for Critical Cyber-Physical Systems
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15240
Archívum: Műegyetem Digitális Archívum
Gyűjtemény: 1. Tudományos közlemények, publikációk
Konferenciák gyűjteményei
BME MIT PhD Minisymposium
BME MIT PhD Minisymposium, 2018, 25th (MINISY@DMIS 2018)
Cím:
Towards the Verification of Neural Networks for Critical Cyber-Physical Systems
Létrehozó:
Rabatin, Gábor
Vörös, András
Dátum:
2021-04-19T09:41:47Z
2021-04-19T09:41:47Z
2018
Nyelv:
angol
Típus:
könyvfejezet
Formátum:
application/pdf
Azonosító: