Login / Signup

Topology Based Automatic Formal Model Generation for Point Automation Systems.

Muhammet Ali Nur OzIbrahim SenerOzgur Turay KaymakciIlker ÜstogluGalip Cansever
Published in: Inf. Technol. Control. (2015)
Keyphrases
  • semi automatic
  • fully automatic
  • arbitrary dimension
  • databases
  • evolutionary algorithm
  • data sets
  • computer vision
  • website
  • formal model
  • formal methods
  • small world
  • topology preserving