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 23 to 26 of 26
< previous 
Issue DateTitleAuthor(s)
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 23 to 26 of 26
< previous 


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