Formal Analysis of Optical Systems-Reference-Cited by-同舟云学术

Formal Analysis of Optical Systems

Published:2014-03 Issue:1 Volume:8 Page:39-70
ISSN:1661-8270
Container-title:Mathematics in Computer Science
language:en
Short-container-title:Math.Comput.Sci.

Author:

Khan-Afshar Sanaz,Siddique Umair,Mahmoud Mohamed Yousri,Aravantinos Vincent,Seddiki Ons,Hasan Osman,Tahar Sofiène

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics

Link

http://link.springer.com/content/pdf/10.1007/s11786-014-0175-z.pdf

Reference81 articles.

1. Allen, L., Angel, R., Rodney, G.A., Mangus, J.D., Shannon, R.R. , Spoelhof, Ch.P.: The Hubble Space Telescope Optical System Failure Report. Technical Report, NASA TM-103443, Washington, DC, November 1990

2. Formal analysis of optical systems, Hardware Verification Group, Concordia University. http://hvg.ece.concordia.ca/projects/optics/ (2014). Accessed 20 Mar 2014

3. Mathematica. http://www.wolfram.com/ (2014). Accessed 20 Mar 2014

4. Mathlink Link. http://reference.wolfram.com/mathematica/guide/MathLinkAPI.html (2014). Accessed 20 Mar 2014

5. Matlab–codev toolkit. http://opensource.gsfc.nasa.gov/projects/Matlab_Code_V/ (2014). Accessed 20 Mar 2014

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalizing chemical physics using the Lean theorem prover;Digital Discovery;2024

2. Wireless optical power transmission based on the off-axis VECSEL of long resonator;Optics & Laser Technology;2023-02

3. Formal Verification of Cyber-Physical Systems Using Theorem Proving;Communications in Computer and Information Science;2020

4. Formal verification of stability and chaos in periodic optical systems;Journal of Computer and System Sciences;2017-09

5. On the formal analysis of Gaussian optical systems in HOL;Formal Aspects of Computing;2016-09