Mohammed Faci

According to our database, Mohammed Faci authored at least 6 papers between 1989 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Structural Models for Specifying Telephone Systems.

Mohammed Faci, Luigi Logrippo, Bernard Stepien

Comput. Networks ISDN Syst., 1997

1994

Specifying features and analysing their interactions in a LOTOS environment.

Mohammed Faci, Luigi Logrippo

Proceedings of the Feature Interactions in Telecommunications Systems, 1994

1993

Specifying Hardware Systems in LOTOS.

Mohammed Faci, Luigi Logrippo

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1992

An Introduction to LOTOS: Learning by Examples.

Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein

Comput. Networks ISDN Syst., 1992

1991

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

Mohammed Faci, Luigi Logrippo, Bernard Stepien

Comput. Networks ISDN Syst., 1991

1989

Formal Specifications of Telephone Systems in LOTOS.

Mohammed Faci, Luigi Logrippo, Bernard Stepien

Proceedings of the Protocol Specification, 1989