Login / Signup

A tool for automatic formal modeling of railway interlocking systems.

Muhammed Ali Nur OzIbrahim SenerOzgur Turay KaymakciIlker ÜstogluGalip Cansever
Published in: EUROCON (2015)
Keyphrases
  • distributed systems
  • intelligent systems
  • artificial intelligence
  • expert systems
  • management system
  • software engineering
  • formal methods
  • data driven
  • knowledge based systems
  • user friendly