Construction of Finite Labelled Transistion Systems from B Abstract Systems.

Didier Bert Francis Cave

Published in: IFM (2000)

Keyphrases

distributed systems
computer systems
databases
computing systems
image sequences
database systems
real time
image segmentation
case study
multi agent
wide range
image retrieval
search engine
neural network
knowledge based systems
learning systems
complex systems