RDPS: A SOFTWARE PACKAGE FOR THE VALIDATION AND EVALUATION OF DEPENDABLE COMPUTER SYSTEMS.

IFAC Proceedings Series

Volumn , Issue , 1986, Pages 165-170

  Florin, G ^a   Lonc, P ^a   Natkin, S ^a   Toudic, J M ^a  

^a Bioinformatique et Chimie Moléculaire

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS, DIGITAL - FAULT TOLERANT CAPABILITY; COMPUTERS - EVALUATION;

PETRI NETS; SOFTWARE TOOL RDPS; STOCHASTIC PETRINETS;

COMPUTER SOFTWARE;

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

References (10)