Number of documents

2


"Safouan Taha"    2018   

Conference papers2 documents

  • Vassil Todorov, Frédéric Boulanger, Safouan Taha. Formal verification of automotive embedded software. FORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩. ⟨hal-01768687⟩
  • Frédéric Boulanger, Dominique Marcadet, Martin Rayrole, Safouan Taha, Benoît Valiron. A time synchronization protocol for A664-P7. Digital Avionics Systems Conference, Sep 2018, London, United Kingdom. ⟨hal-01890134⟩