Verification of transaction level models of embedded systems /

Bibliographic Details
Main Author: Lochi Yu Lo, Lucky (Autor/a)
Format: Article
Language:English
Subjects:
Online Access:Ver artículo en línea
Description
Physical Description:75-95 : ilustraciones en blanco y negro.