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

Month: June 2018

No Image

FormbaR presented at the 2nd Scientific Railway Signalling Symposium (SRSS’18)

June 15, 2018 Eduard Kamburjan 0

As part of the FormbaR project, Sebastian Schön presented a survey on the usage of formal methods in Transport Engineering at the 2nd Scientific Railway […]

Recent Posts

  • Paper Accepted at F-IDE’19
  • 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

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
  • English
  • Deutsch

Datenschutz/Privacy Policy

Copyright © 2025 | WordPress Theme by MH Themes