Dependability of fault-tolerant systems - explicit modeling of the interactions between hardware and software components

Proceedings -IEEE International Computer Performance and Dependability Symposium, IPDS

Volumn , Issue , 1996, Pages 252-261

  Kanoun, Karama ^a   Borrel, Marie ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; MAINTENANCE; MATHEMATICAL MODELS; PETRI NETS; RELIABILITY; USER INTERFACES;

DEPENDABILITY; GENERALIZED STOCHASTIC PETRI NETS; HARDWARE AND SOFTWARE COMPONENTS; INTERACTIONS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0029715151     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)