DSpace
 

DSpace at IIT Bombay >

Browsing by Author RAMESH, S

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 20 to 26 of 26
< previous 
Issue DateTitleAuthor(s)
2003Static slicing of reactive programsKULKARNI, AR; RAMESH, S
2004Synchronous protocol automata : a framework for. modelling and verification of SoC communication architecturesD'SILVA, V; RAMESH, S; SOWMYA, A
2005Synchronous protocol automata: a framework for modelling and verification of SoC communication architecturesD'SILVA, V; RAMESH, S; SOWMYA, A
2004Tabled logic programming based IP matching tool using forced simulationROOP, PS; SOWMYA, A; RAMESH, S; GUO, HF
2004A toolset for modelling and verification of GALS systemsRAMESH, S; SONALKAR, S; D'SILVA, V; CHANDRA, N; VIJAYALAKSHMI, B
1997A tool-suite for reachability analysis of concurrent object-oriented programsIYER, SRIDHAR; RAMESH, S
2003Visual modeling and verification of distributed reactive systemsIQBAL, A; BHATTACHARJEE, AK; DHODAPKAR, SD; RAMESH, S
Showing results 20 to 26 of 26
< previous 

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback