![](/img/cover-not-exists.png)
An Approach for Formal Verification of Machine Learning based Complex Systems
Raman, Ramakrishnan, Jeppu, YoganandaVolume:
29
Language:
english
Journal:
INCOSE International Symposium
DOI:
10.1002/j.2334-5837.2019.00620.x
Date:
July, 2019
File:
PDF, 1.96 MB
english, 2019