Constructing Abstract Models of Concurrent Real-Time Software.

James C. Corbett

Published in: ISSTA (1996)

Keyphrases

real time
probabilistic model
real time systems
information systems
statistical models
data sets
experimental data
complex systems
low cost
source code
computer systems
model selection
software systems
high speed
prior knowledge
software tools
high level