Published on February 13, 2020.

AvioSE20 in Innsbruck Austria

At this years AvioSE workshop, German Aerospace Center DLR and BTC Embedded Systems are presenting a joined paper called: "Towards Using Formal Methods in Prototyping: Advantage or Impediment?" Details about the event can be found here: https://aviose-workshop.github.io/