FormbaR
  • About
  • ABS Workshop 2018
    • Programme
  • Researchers
  • Publications and Tools
    • Demo May 2017
    • Latest Public Model
    • Memory Model
    • Product Lines
    • VisualisierbaR
  • Impressum
    • Privacy Policy

Paper Accepted at RSSRail’17

July 12, 2017 Eduard Kamburjan Uncategorized 0

The paper “Deductive Verification of Railway Operations” by Eduard Kamburjan and Reiner Hähnle was accepted by the International Conference Reliability, Safety and Security of Railway Systems and will be presented in November in Pistoia, Italy.

  • News
Previous

FormbaR presented at the Scientific Railway Signalling Symposium

Next

ABS Workshop 2018 hosted by FormbaR

Recent Posts

  • FormbaR presented at the Symposium of the European Association for Research in Transportation (hEART’18)
  • FormbaR presented at the 2nd Scientific Railway Signalling Symposium (SRSS’18)
  • ABS Workshop 2018 hosted by FormbaR
  • Paper Accepted at RSSRail’17
  • FormbaR presented at the Scientific Railway Signalling Symposium

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org
  • EnglishEnglish
  • DeutschDeutsch

Datenschutz/Privacy Policy

Copyright © 2019 | WordPress Theme by MH Themes