![](/img/cover-not-exists.png)
A verification framework with application to a propulsion system
Zhang, Bin, Orchard, Marcos, Saha, Bhaskar, Saxena, Abhinav, Lee, Young Jin, Vachtsevanos, GeorgeVolume:
41
Language:
english
Journal:
Expert Systems with Applications
DOI:
10.1016/j.eswa.2014.03.017
Date:
October, 2014
File:
PDF, 2.81 MB
english, 2014