Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Bindi Baby Animals (Tamil): A Beginner Language Book for Tamil Children

Safe, Autonomous and Intelligent Vehicles

Real Time Programming: Languages, Specification and Verification

Structural Composite Materials: Fabrication, Properties, Applications and Challenges

Real Time Programming: Languages, Specification and Verification

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings