Using Markov chain usage models to test complex systems

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn , Issue , 2005, Pages 318-

  Prowell, S J ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS;

AUTOMATED TESTING; CONCURRENCY OPERATORS; MODEL-BASED TESTING; STATE EXPLOSION;

LARGE SCALE SYSTEMS;

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

References (0)