A verification environment for bigraphs.

Gian Perrone Søren Debois Thomas T. Hildebrandt

Published in: Innov. Syst. Softw. Eng. (2013)

Keyphrases

real time
dynamic environments
changing environment
image processing
mobile robot
autonomous agents
complex environments
verification method
asynchronous circuits
programming environment
face verification
environmental conditions
test bed
model checking
multi agent
neural network
databases