
Formal models for embedded system design
Sgroi, M., Lavagno, L., Sangiovanni-Vincentelli, A.Volume:
17
Langue:
english
Journal:
IEEE Design & Test of Computers
DOI:
10.1109/54.844330
Date:
January, 2000
Fichier:
PDF, 126 KB
english, 2000