A new verification technique for large processes based on identification of relevant tasks.

Richard Mrasek Jutta A. Mülle Klemens Böhm

Published in: Inf. Syst. (2015)

Keyphrases

person identification
cognitive tasks
data sets
expert systems
probability distribution
process model
model checking
computational models
stochastic processes