Universal Properties Verification of Parameterized Parallel Systems.

Cecilia E. Nugraheni

Published in: ICCSA (3) (2005)

Keyphrases

general purpose
computing systems
parallel processing
desirable properties
real time
neural network
learning systems
model checking
formal methods
security systems
database
data mining
multiscale
expert systems
complex systems
multimodal biometrics