Siamak Kolahi

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
Merging partial system behaviours: composition of use-case automata. IET Softw. 1 (4) (2007)
Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli
Composition of Use Cases Using Synchronization and Model Checking. FORTE (2006)