Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau. A Mission Definition, Verification and Validation Architecture.
Formal Methods. FM 2019 International Workshops, 12232, pp.281-287, 2020, 978-3-030-54993-0.
⟨10.1007/978-3-030-54994-7_20⟩.
⟨hal-02963914⟩