Mohamed-Lyes Benalycherif

Publication Activity (10 Years)

Years Active: 1993-2005
Publications (10 Years): 0

Publications

Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki
An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. Comput. Electr. Eng. 31 (4-5) (2005)
Mohamed-Lyes Benalycherif, Claude Girault
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. Application and Theory of Petri Nets (1996)
Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. PSTV (1993)