Affiliation:
1. University of Texas at Arlington
Funder
Air Force Office of Scientific Research
National Science Foundation
Air Force Research Laboratory
Reference6 articles.
1. Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge
2. DySy
3. Compiler validation via equivalence modulo inputs
4. The MathWorks Inc. 2017. Simulink Documentation http://www.mathworks.com/help/simulink/. (2017). Accessed Oct. 2017. The MathWorks Inc. 2017. Simulink Documentation http://www.mathworks.com/help/simulink/. (2017). Accessed Oct. 2017.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献