D.M. Groß MSc (Dennis)

Promovendus - Software Science

Contactinformatie

Bezoekadres

Toernooiveld 212
6525 EC NIJMEGEN
Interne postcode: 47

Postadres

Postbus 9010
6500 GL NIJMEGEN

The formal verification of neural networks.

Onderzoeksthema

Onderzoeksgroep

Trefwoorden: Formal Verification