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

Paper Accepted at F-IDE’19

August 28, 2019 Eduard Kamburjan Uncategorized 0

The paper “Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability” by Eduard Kamburjan and Jonas Stromberg was accepted by the Workshop on Formal Integrated Development Environment and will be presented in October in Porto, Portugal.

Previous

FormbaR presented at the Symposium of the European Association for Research in Transportation (hEART’18)

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