An Experience in Embedded Control Software Verification / Rolando, Pierluigi; Sisto, Riccardo. - STAMPA. - (2009), pp. 1-4. ((Intervento presentato al convegno IEEE ETFA 2009 - 14th IEEE Int. Conf. on Emerging Technologies and Factory Automation tenutosi a Palma, Spain nel September 2009 [10.1109/ETFA.2009.5347235].

An Experience in Embedded Control Software Verification

ROLANDO, PIERLUIGI;SISTO, Riccardo
2009

9781424427277
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/2284517
 Attenzione

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