FormbaR
  • ABS Workshop 2018
  • Über FormbaR
  • Team
  • Veröffentlichungen und Tools
    • Demo August 2016
    • Neuste Demo
    • Speichermodell
  • Impressum
    • Datenschutz

Vorstellung von FormbaR auf dem KeY Symposium

August 8, 2016 Richard Bubel Uncategorized 0

FormbaR wurde auf dem 15-ten KeY Symposium (http://www.key-project.org/keysymposium16) erfolgreich einem äußerst interessiertem internationalem Publikum präsentiert.

  • News
Zurück

Konferenzartikel zum FormbaR Projekt wurde bei der ISoLA 2016 angenommen

Weiter

Einreichung “Uniform Modeling of Railway Operations” zum Workshop FTSCS’16 akzeptiert

Recent Posts

  • Konferenzartikel bei F-IDE’19 angenommen
  • FormbaR beim 7th Symposium of the European Association for Research in Transportation
  • FormbaR beim SRSS
  • ABS Workshop 2018
  • Einreichung “Deductive Verification of Railway Operations” zur Konferenz RSSRail’17 akzeptiert

Meta

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

Datenschutz/Privacy Policy

Copyright © 2025 | WordPress Theme von MH Themes