Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B.

Linda Mohand-Oussad, Idir At-Sadoune, Yamine At Ameur

Browse the full MEDI paper archive.