PORTO @ Archivio Istituzionale della Ricerca

Synthesis of Embedded Software for Reactive Systems / R., C., J., C., A., K., Lavagno, L., Passerone, C., Y., W.. - (2002), pp. 2-20. (2nd International Workshop on Integration of Specification Techniques for Applications in Engineerin Grenoble, France April 6-7, 2002).

Synthesis of Embedded Software for Reactive Systems

LAVAGNO, Luciano;PASSERONE, Claudio;
2002
2002
4.1 Contributo in Atti di convegno
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/1679821
 Attenzione

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