Items where Author is "Avinash, AK"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Conference or Workshop Item

Avinash, AK and Nanda, Manju and Jayanthi, J (2015) Semi-formal approach for validating compiler for safety critical software in airborne systems. In: 2015 International Conference on Computing for Sustainable Global Development, INDIACom 2015, 11-13 March 2015, New Delhi.

Rathinakumar, V and Avinash, AK and Nanda, Manju and Jayanthi, J (2015) Validating VCP using model based approach. In: Computing for Sustainable Global Development (INDIACom), 2015 2nd International Conference on, 11-13 March 2015, New Delhi, India.

Sumeeth, SB and Jayanthi, J and Nanda, Manju and Avinash, AK (2015) Validation of real time complex algorithms using fault model analyses. In: IEEE International Advance Computing Conference.

This list was generated on Thu Jul 2 10:09:19 2020 IST.