The ProC/B-Approach from informal descriptions to formal models.

Peter Buchholz Falko Bause Carsten Tepper

Published in: ISoLA (Preliminary proceedings) (2004)

Keyphrases

formal models
rule based systems
formal model
process model
high level
neural network
artificial intelligence
search engine
image sequences
preprocessing
object descriptions
real time
pattern recognition
data structure
knowledge base
databases
data sets