Constraints specification at higher levels of abstraction / F., Balarin; J., Burch; Lavagno, Luciano; Y., Watanabe; R., Passerone; A., Sangiovanni Vincentelli. - (2001), pp. 129-133. (Intervento presentato al convegno Sixth IEEE International High-Level Design Validation and Test Workshop) [10.1109/HLDVT.2001.972819].

Constraints specification at higher levels of abstraction

LAVAGNO, Luciano;
2001

2001
0769514111
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2501063
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo