1. Framework for Formal Verification of Machine Learning Based Complex System‐of‐System. Issue 1 (20th September 2021) Authors: Raman, Ramakrishnan; Gupta, Nikhil; Jeppu, Yogananda Journal: INCOSE International Symposium Issue: Volume 31:Issue 1(2021) Page Start: 310 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Framework for Formal Verification of Machine Learning Based Complex System‐of‐Systems. Issue 1 (11th April 2023) Authors: Raman, Ramakrishnan; Gupta, Nikhil; Jeppu, Yogananda Journal: Insight Issue: Volume 26:Issue 1(2023) Page Start: 91 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗