Data Flow Control Systems: an Example of Safety Validation / C. Bernardeschi;A. Bondavalli;L. Simoncini. - STAMPA. - (1993), pp. 9-20. (Intervento presentato al convegno SAFECOMP '93 tenutosi a Poznan, Poland nel 1993-October 27-29).
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
BBS93b-SAFECOMP-35.pdf
Accesso chiuso
Tipologia:
Altro
Licenza:
Tutti i diritti riservati
Dimensione
34.06 kB
Formato
Adobe PDF
|
34.06 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.