Synthesis of Embedded Software for Reactive Systems / R., Clariso; J., Cortadella; A., Kondratyev; Lavagno, Luciano; Passerone, Claudio; Y., Watanabe. - (2002), pp. 2-20. (Intervento presentato al convegno 2nd International Workshop on Integration of Specification Techniques for Applications in Engineerin tenutosi a Grenoble, France nel April 6-7, 2002).

Synthesis of Embedded Software for Reactive Systems

LAVAGNO, Luciano;PASSERONE, Claudio;
2002

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