Accéder directement au contenu

Jeanine Souquières

1
Documents

Présentation

souquieres

Publications

1078973
Image document

Formalization of Requirements for Correct Systems

Imen Sayar , Jeanine Souquières
Formal Requirements 2020, Sophie Ebersold (University of Toulouse, France); Regine Laleau (University of Paris-Est Creteil, France); Manuel Mazzara (Innopolis University, Russia), Aug 2020, Zurich, Switzerland
Communication dans un congrès hal-02963472v1