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].
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