K. Shashidhar
发表
S. Ramesh,
P. Sampath,
A. Rajeev,
2022
.
K. Shashidhar,
2001
.
K. Shashidhar,
S. Gangaprasad,
M. H. Savitha,
2009
.
K. C. Shashidhar,
V. C. Patil,
K. Shashidhar,
2012
.
Gerda Janssens,
Maurice Bruynooghe,
Francky Catthoor,
2003,
J. Univers. Comput. Sci..
Gerda Janssens,
Maurice Bruynooghe,
Francky Catthoor,
2002,
COCV@ETAPS.
Prahladavaradan Sampath,
K. C. Shashidhar,
S. Ramesh,
2008
.
Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
2007,
13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).
S. Ramesh,
K. C. Shashidhar,
Swarup Mohalik,
2014,
Softw. Test. Verification Reliab..
Sriram Sankaranarayanan,
Rajeev Alur,
Aditya Kanade,
2009,
CAV.
Gerda Janssens,
Maurice Bruynooghe,
Francky Catthoor,
2005,
CC.
D. Berry,
S. Cummings,
E. Fung,
2020,
Annals of oncology : official journal of the European Society for Medical Oncology.
Prahladavaradan Sampath,
A. C. Rajeev,
S. Ramesh,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Gerda Janssens,
Maurice Bruynooghe,
Francky Catthoor,
2005,
Design, Automation and Test in Europe.
Gerda Janssens,
Maurice Bruynooghe,
Francky Catthoor,
2003,
Eighth IEEE International High-Level Design Validation and Test Workshop.
K. C. Shashidhar,
Martin Becker,
Sören Kemmann,
2010,
SPLC Workshops.