%0 Conference Paper %1 conf/indiaSE/WakankarKAB13 %A Wakankar, Amol %A Khan, Arindam %A Aravamuthan, G. %A Bhattacharjee, A. K. %B ISEC %D 2013 %E Ghosal, Sugata %E Shroff, Gautam %E Chandra, Satish %E Nagappan, Nachiappan %I ACM %K dblp %P 83-89 %T Experience with testing and rigorous program analysis for qualification of RTOS. %U http://dblp.uni-trier.de/db/conf/indiaSE/isec2013.html#WakankarKAB13 %@ 978-1-4503-1987-4

@inproceedings{conf/indiaSE/WakankarKAB13, added-at = {2021-12-24T00:00:00.000+0100}, author = {Wakankar, Amol and Khan, Arindam and Aravamuthan, G. and Bhattacharjee, A. K.}, biburl = {https://www.bibsonomy.org/bibtex/2fa220ced0acdebdb93fa94f35fa3462e/dblp}, booktitle = {ISEC}, crossref = {conf/indiaSE/2013}, editor = {Ghosal, Sugata and Shroff, Gautam and Chandra, Satish and Nagappan, Nachiappan}, ee = {https://doi.org/10.1145/2442754.2442767}, interhash = {fc1949029c300c0ad38fba41e65b51c1}, intrahash = {fa220ced0acdebdb93fa94f35fa3462e}, isbn = {978-1-4503-1987-4}, keywords = {dblp}, pages = {83-89}, publisher = {ACM}, timestamp = {2024-04-09T10:04:47.000+0200}, title = {Experience with testing and rigorous program analysis for qualification of RTOS.}, url = {http://dblp.uni-trier.de/db/conf/indiaSE/isec2013.html#WakankarKAB13}, year = 2013 }