|
DSpace at IIT Bombay >
Browsing by Author D'SILVA, V
Showing results 1 to 3 of 3
| Issue Date | Title | Author(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 | A toolset for modelling and verification of GALS systems | RAMESH, S; SONALKAR, S; D'SILVA, V; CHANDRA, N; VIJAYALAKSHMI, B |
Showing results 1 to 3 of 3
|