Verification of the Correctness in Composed UML Behavioural Diagrams.

Samir Ouchani, Otmane At Mohamed, Mourad Debbabi, Makan Pourzandi

Browse the full SERA paper archive.