A Toolset for Modelling and Verification of GALS Systems

A Toolset for Modelling and Verification of GALS Systems

Bibliografske podrobnosti
Main Authors: Ramesh, S, Sonalkar, S, D'Silva, V, Chandra, N, Vijayalakshmi, B
Drugi avtorji: Alur, R
Format: Conference item
Izdano: Springer 2004
Opis
Izvleček:

Podobne knjige/članki