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