Liveness and Fairness in Process-Algebraic Verification.

Antti Puhakka Antti Valmari

Published in: CONCUR (2001)

Keyphrases

real time
model checking
neural network
data sets
machine learning
e learning
case study
multiscale
expert systems
control system
business processes