Composition of Use Cases Using Synchronization and Model Checking.

Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli

Browse the full FORTE paper archive.