System Safety through Automatic High-level Code Transformations: an Experimental Evaluation / Rebaudengo, Maurizio; SONZA REORDA, Matteo; Violante, Massimo; P., Cheynet; B., Nicolescu; R., Velazco. - (2001), pp. 297-301. (Intervento presentato al convegno DATE: IEEE Design, Automation & Test in Europe Conference tenutosi a Monaco, Germania nel 13-16 marzo 2001).

System Safety through Automatic High-level Code Transformations: an Experimental Evaluation

REBAUDENGO, Maurizio;SONZA REORDA, Matteo;VIOLANTE, MASSIMO;
2001

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/1498963
 Attenzione

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