Accéder directement au contenu

Jeanine Souquières

1
Documents

Présentation

souquieres

Publications

830613
"lanoix-a"
Image document

An Operator-based Approach to Incremental Development of Conform Protocol State Machines

 Arnaud Lanoix , Dieu Donné Okalas Ossami , Jeanine Souquières
Trustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14
Communication dans un congrès inria-00001263v1