|
|
DSpace at IIT Bombay >
Browsing by Author RAMESH, S
Showing results 20 to 26 of 26
| Issue Date | Title | Author(s) | | 2003 | Static slicing of reactive programs | KULKARNI, AR; RAMESH, S |
| 2004 | Synchronous protocol automata : a framework for. modelling and verification of SoC communication architectures | D'SILVA, V; RAMESH, S; SOWMYA, A |
| 2005 | Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures | D'SILVA, V; RAMESH, S; SOWMYA, A |
| 2004 | Tabled logic programming based IP matching tool using forced simulation | ROOP, PS; SOWMYA, A; RAMESH, S; GUO, HF |
| 2004 | A toolset for modelling and verification of GALS systems | RAMESH, S; SONALKAR, S; D'SILVA, V; CHANDRA, N; VIJAYALAKSHMI, B |
| 1997 | A tool-suite for reachability analysis of concurrent object-oriented programs | IYER, SRIDHAR; RAMESH, S |
| 2003 | Visual modeling and verification of distributed reactive systems | IQBAL, A; BHATTACHARJEE, AK; DHODAPKAR, SD; RAMESH, S |
Showing results 20 to 26 of 26
|
