A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems.

Ebru Aydin Gol Ezio Bartocci Calin Belta

Published in: CoRR (2014)

Keyphrases

formal methods
safety critical
reaction diffusion
knowledge based systems
formal specification
texture synthesis
software engineering
pattern formation
artificial intelligence
three dimensional
expert systems
pattern matching
web services
object oriented
knowledge acquisition
cellular automata