S. Ramesh

Safe, Autonomous and Intelligent Vehicles

2019 · ENGLISH · PDF

View details →

Real Time Programming: Languages, Specification & Verification

2002 · ENGLISH · PDF

View details →

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

2007 · ENGLISH · PDF

View details →

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

1997 · ENGLISH · PDF

View details →

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

1997 · ENGLISH · DJVU

View details →