A Logical Approach for Behavioural Composition of Scenario-Based Models.

Juliana Kster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain

Browse the full ICFEM paper archive.