![]() | Up a level |
Nanda, Manju and Dhage, S and Jayanthi, J (2015) An approach to formally qualify commercial RTOS for safety application. In: Computing for Sustainable Global Development (INDIACom), 2015 2nd International Conference on, 11-13 March 2015, New Delhi, India.