Items where Author is "Nanda, Manju"
Group by: Item Type | No Grouping
Number of items: 8.
Nanda, Manju and Jayanthi, J (2013) Effective verification and validation strategy for safety-critical embedded systems. International Journal of Software Engineering & Applications (IJSEA), 4 (2). ISSN 0975-9018
Nanda, Manju and Jamadagni, CS (2012) Quantitative metrics for validating the effectiveness of the model based approach for indigenously developed SWS/AIC system. International Journal of Scientific & Engineering Research, 3 (12). pp. 1-7. ISSN 2229-5518
Nanda, Manju and Jayanthi, J and Madhan, V (2012) Intelligent knowledge database (IKD) tool for formal methods. International Journal of Software Engineering & Applications , 3 (6). pp. 117-127. ISSN 0975 - 9018
Nanda, Manju (2010) Modified and effective system-engineering life cycle for critical systems. In: 4th Annual IEEE Systems Conference, 2010 , 5-8 April 2010, San Diego, CA, USA.
Chowdhury, P and Barshilia, Harish C and Rajam, KS and Nanda, Manju and Jayanthi, J (2009) Design and Development of the Microcontroller based DC Speed Control Unit. Technical Report. National Aerospace Laboratories, Bangalore.
Chowdhury, P and Barshilia, Harish C and Nanda, Manju and Jayanthi, J (2009) Design and development of the microcontroller based DC motor speed control unit. Project Report. NAL, National Aerospace Laboratories.
Jayanthi, J and Nanda, Manju and Nayak, MR (2008) Indigenous software development for civil aircraft system. In: Proceedings of the International Conference on Aerospace Science and Technology, 26-28 Jun 2008, Bangalore, India.
Jayanthi, J and Nanda, Manju and Nayak, MR (2008) Embedded software development for aerospace trends, challenges, lessons. In: International Conference for Avionics, ICAS, 22-23 Feb 2008, Hyderabad, India.