Experience with testing and rigorous program analysis for qualification of RTOS

A. Wakankar, Arindam Khan, G. Aravamuthan, A. K. Bhattacharjee. Experience with testing and rigorous program analysis for qualification of RTOS. In Sugata Ghosal, Gautam Shroff, Satish Chandra, Nachiappan Nagappan, editors, 6th India Software Engineering Conference, ISEC '13, New Delhi, India - February 21 - 23, 2013. pages 83-89, ACM, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.