Specifying and verifying requirements for election processes.

Borislava I. Simidchieva Matthew Marzilli Lori A. Clarke Leon J. Osterweil

Published in: DG.O (2008)

Keyphrases

expert systems
model checking
data sets
social networks
multiscale
user requirements
neural network
multi agent systems
np hard
computational model
workflow systems
process management
dynamic aspects