An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems / A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini. - STAMPA. - (2000), pp. ---. (Intervento presentato al convegno IEEE Int. Workshop On Embedded Fault-Tolerant Systems (EFTS00) tenutosi a Washington, DC, USA nel 2000-September 21-22).
An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems
BONDAVALLI, ANDREA;FANTECHI, ALESSANDRO;
2000
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.