[Event] Meet us at ERTS’2020

From 29th to 31st January, join our team at the ERTS (www.erts2020.org) in Toulouse to experience the benefits of ASTERIOS development suite for safe and critical markets.

During the exhibition you will have the opportunity to attend a conference titled “Formal Verification”, run by AIRBUS, highlighting how ASTERIOS Checker offers “A Verification Tool for Certifying Airborne Software”.