✦ LIBER ✦

[IEEE 2009 Annual IEEE India Conference - Ahmedabad, India (2009.12.18-2009.12.20)] 2009 Annual IEEE India Conference - Incremental Verification Techniques for an Updated Architectural Specification

✍ Scribed by Mitra, Srobona; Ghosh, Priyankar; Dasgupta, Pallab; Chakrabarti, Partha P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 Annual IEEE India Conference

✍ Dhuli, Ravindra; Lall, Brejesh 📂 Article 📅 2009 🏛 IEEE ⚖ 110 KB

[IEEE 2009 Annual IEEE India Conference

✍ Saravanan, C.; Malalur, Sanjeev S.; Manry, Micahel T. 📂 Article 📅 2009 🏛 IEEE ⚖ 244 KB

[IEEE 2009 Annual IEEE India Conference

✍ Babu, P. Ravi; Rakesh, C. P.; Kumar, M. Naveen; Srikanth, G.; Reddy, D. Prabhuva 📂 Article 📅 2009 🏛 IEEE ⚖ 208 KB

[IEEE 2009 Annual IEEE India Conference

✍ Vani, M. Uma; Raju, G. S.; Prasad, K. R. L. 📂 Article 📅 2009 🏛 IEEE ⚖ 390 KB

[IEEE 2009 Annual IEEE India Conference

✍ Bhuyan, Kaveri; Chatterjee, Saibal 📂 Article 📅 2009 🏛 IEEE ⚖ 183 KB

[IEEE 2009 Annual IEEE India Conference

✍ Herman, J.; Rani, J. Sheeba; Devaraj, D. 📂 Article 📅 2009 🏛 IEEE ⚖ 307 KB