Mohammed Faci

Publication Activity (10 Years)

Years Active: 1989-1997
Publications (10 Years): 0

Publications

Mohammed Faci, Luigi Logrippo, Bernard Stepien
Structural Models for Specifying Telephone Systems. Comput. Networks ISDN Syst. 29 (4) (1997)
Mohammed Faci, Luigi Logrippo
Specifying features and analysing their interactions in a LOTOS environment. FIW (1994)
Mohammed Faci, Luigi Logrippo
Specifying Hardware Systems in LOTOS. CHDL (1993)
Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein
An Introduction to LOTOS: Learning by Examples. Comput. Networks ISDN Syst. 23 (5) (1992)
Mohammed Faci, Luigi Logrippo, Bernard Stepien
Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. Comput. Networks ISDN Syst. 21 (1991)
Mohammed Faci, Luigi Logrippo, Bernard Stepien
Formal Specifications of Telephone Systems in LOTOS. PSTV (1989)