A Toolset for Modelling and Verification of GALS Systems

Detalles Bibliográficos
Main Authors:	Ramesh, S, Sonalkar, S, D'Silva, V, Chandra, N, Vijayalakshmi, B
Outros autores:	Alur, R
Formato:	Conference item
Publicado:	Springer 2004

Descripción
Summary:

Títulos similares