Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat. Use of formal methods in embedded software development: stakes, constraints and proposal.
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France.
⟨hal-02272049⟩