A Description Model to Support Test Suit Derivation for Concurrent Systems.

Published in: Kommunikation in Verteilten Systemen (1997)

Keyphrases

high level
probabilistic model
parameter estimation
computational model
statistical model
cost function
formal model
prior knowledge
knowledge representation
theoretical analysis
theoretical framework
mathematical model
experimental data
conceptual model
concurrent systems