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).

Data Flow Control Systems: an Example of Safety Validation

BONDAVALLI, ANDREA;
1993

1993
SAFECOMP '93
SAFECOMP '93
Poznan, Poland
1993-October 27-29
C. Bernardeschi;A. Bondavalli;L. Simoncini
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/599031
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact