A Toolset for Modelling and Verification of GALS Systems

ग्रंथसूची विवरण
मुख्य लेखकों:	Ramesh, S, Sonalkar, S, D'Silva, V, Chandra, N, Vijayalakshmi, B
अन्य लेखक:	Alur, R
स्वरूप:	Conference item
प्रकाशित:	Springer 2004

समान संसाधन