Mohammed Faci

Detecting feature interactions in telecommunications systems designs

Mohammed Faci, 1996 .

Specifying features and analysing their interactions in a LOTOS environment

Luigi Logrippo, Mohammed Faci, 1994, FIW.

Structural Models for Specifying Telephone Systems

Luigi Logrippo, Bernard Stepien, Mohammed Faci, 1997, Comput. Networks ISDN Syst..

An Algebraic Framework for the Feature Interaction Problem

Luigi Logrippo, Mohammed Faci, L. Logrippo, 2007 .

Specifying Hardware Systems in LOTOS

Luigi Logrippo, Mohammed Faci, L. Logrippo, 1993, CHDL.

An Introduction to LOTOS: Learning by Examples

Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein, 1992, Comput. Networks ISDN Syst..

Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach

Luigi Logrippo, Bernard Stepien, Mohammed Faci, 1991, Comput. Networks ISDN Syst..