Author:
Philip Gracy,D’Souza Meenakshi
Reference11 articles.
1. Nancy, G.: Leveson. Systems Thinking Applied to Safety. MIT Press, Engineering a Safer World (2012)
2. RTCA Software Considerations in Airborne Systems and Equipment Certification DO-178B (1992)
3. Leucker, M., Schallhart, C.: A brief account of run time verification. J. Logic Algebraic Program. 78, 293–303 (2009)
4. Official website of Tejas. http://www.tejas.gov.in/technology/fly_by_wire.html
5. Matlab. http://www.mathworks/in/products/matlab/