|
Search the dblp DataBase
Mohamed-Lyes Benalycherif:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mohamed-Lyes Benalycherif, Claude Girault
Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1996, pp:73-92 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] PSTV, 1993, pp:191-206 [Conf]
- Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki
An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. [Citation Graph (0, 0)][DBLP] Computers & Electrical Engineering, 2005, v:31, n:4-5, pp:282-302 [Journal]
Search in 0.001secs, Finished in 0.001secs
|