Login / Signup

Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator.

Frank HänselJan PoliakRoman SlovákEckehard Schnieder
Published in: SoftSpez Final Report (2004)
Keyphrases
  • case study
  • mathematical model
  • formal specification
  • traffic control
  • expert systems
  • mobile robot
  • building blocks
  • optimization process
  • object oriented design