A. B. Alkhechi

Publication Activity (10 Years)

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

Publications

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)
A. B. Alkhechi, Stanislaw Budkowski
Automatic Translation of Time Petri Nets into Estelle Description. FORTE (1990)