Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by K. C. Shashidhar
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science