Treffer: Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development
Title:
Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development
Authors:
Source:
2018 Annual IEEE International Systems Conference (SysCon) Systems Conference (SysCon), 2018 Annual IEEE International. :1-5 Apr, 2018
Relation:
2018 Annual IEEE International Systems Conference (SysCon)
Database:
IEEE Xplore Digital Library