Towards an automated verification process for industrial safety applications.

Kleanthis Thramboulidis Doaa Soliman Georg Frey

Published in: CASE (2011)

Keyphrases

automated verification
model checking
real time
neural network
multi agent
industrial applications
industrial processes
industrial process