Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking / A. BONDAVALLI; L. SIMONCINI; M. NELLI; G. MONGARDI. - In: COMPUTER SYSTEMS SCIENCE AND ENGINEERING. - ISSN 0267-6192. - STAMPA. - 16:(2001), pp. 249-261.
Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking
BONDAVALLI, ANDREA;
2001
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
C577.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
241.38 kB
Formato
Adobe PDF
|
241.38 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.