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
Jump to: Conference or Workshop Item
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 Wed Mar 22 10:06:57 2023 IST.
nalir is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.