Concepedia

Mohammed Faci

MF

5

Publications

200

Citations

5

H-Index

1989

Active since

Affiliations

University of Ottawa(Current)

Mohammed Faci is an author at University of Ottawa specializing in systems engineering, engineering, and formal verification.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceFormal VerificationMobile CommunicationDesignManagementData ScienceVerification

Publications per year

1989–1997

5

Publications

5

An introduction to LOTOS: learning by examples

Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein · Computer Networks and ISDN Systems · 1992 · 100 citations

Artificial Intelligence, Engineering, Data Science +4

Formal specification of telephone systems in LOTOS: the constraint-oriented style approach

Mohammed Faci, Luigi Logrippo, Bernard Stépien · Computer Networks and ISDN Systems · 1991 · 35 citations

Specification Language, Formal Specification, Engineering +10

Specifying features and analysing their interactions in a LOTOS environment.

Mohammed Faci, Luigi Logrippo · 1994 · 32 citations

Structural models for specifying telephone systems

Mohammed Faci, Luigi Logrippo, Bernard Stépien · Computer Networks and ISDN Systems · 1997 · 20 citations

Intelligent Network, Design, Management +7

Formal Specifications of Telephone Systems in LOTOS

Mohammed Faci, Luigi Logrippo, Bernard Stépien · 1989 · 13 citations

Engineering, Formal Methods, Systems Engineering +5

Rows per page

1–5 of 5