Isabelle/Circus: A Process Specification and Verification Environment.

Abderrahmane Feliachi Marie-Claude Gaudel Burkhart Wolff

Published in: VSTTE (2012)

Keyphrases

neural network
real time
website
mobile robot
artificial intelligence
social networks
case study
multi agent
expert systems
complex environments