Formal Transformation in Pipeline Systems.

Mohamad Al-Laham

Published in: Egypt. Comput. Sci. J. (2006)

Keyphrases

expert systems
formal model
formal languages
real world
genetic algorithm
knowledge based systems
formal methods
systems require
data sets
data mining
artificial intelligence
search engine
data structure
distributed systems