An Enhanced Interface-Based Probabilistic Compositional Verification Approach.

Samir Ouchani, Otmane At Mohamed, Mourad Debbabi

Browse the full VECoS paper archive.