Data Flow Control Systems: an Example of Safety Validation / C. Bernardeschi;A. Bondavalli;L. Simoncini. - STAMPA. - (1993), pp. 9-20. ( SAFECOMP '93 Poznan, Poland 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.



