Development of Model Based Tools to Support the Design of Railway Control Applications.

Istvn Majzik, Zoltn Micskei, Gergely Pintr

Browse the full SAFECOMP paper archive.