Formal validation of fault-tolerance mechanisms inside GUARDS (Articolo in rivista)

Type
Label
  • Formal validation of fault-tolerance mechanisms inside GUARDS (Articolo in rivista) (literal)
Anno
  • 2001-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bernardeschi C.; Fantechi A.; Gnesi S. (2001)
    Formal validation of fault-tolerance mechanisms inside GUARDS
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bernardeschi C.; Fantechi A.; Gnesi S. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Reliability Engineering and System Safety Vol. 71 (2001), 261-270. Elsevier, 2001. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Titolo
  • Formal validation of fault-tolerance mechanisms inside GUARDS (literal)
Prodotto di

Incoming links:


Prodotto
data.CNR.it