MARTE-based Design of a Multimedia Application and Formal Analysis.

Adolf Samir Abdallah, Abdoulaye Gamati, Jean-Luc Dekeyser

Browse the full FDL paper archive.