Un cadre formel pour la spécification multivue de systèmes avioniques

Yamine Aït Ameur, Remi Delmas, Virginie Wiels. Un cadre formel pour la spécification multivue de systèmes avioniques. Technique et Science Informatiques, 25(1):43-72, 2006. [doi]

Abstract

Abstract is missing.