MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Mohammed Faci" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Formal Specification of Telephone Systems in LOTOS: The Constraint-Oriented Style Approach
by Mohammed Faci — 1991
… Faci, Luigi Logrippo, Bernard Stepien University of Ottawa Protocols Research Group Department…
Cited by 25 (5 self) – Add To MetaCart

Specifying Hardware Systems In LOTOS
by Mohammed Faci, Luigi Logrippo — 1993 — Proc. IFIP Int. Conf. on Hardware Description Languages and Applications (CHDL'93): 305 -- 312
…-26, 1993} SPECIFYING HARDWARE SYSTEMS IN LOTOS Mohammed Faci and Luigi Logrippo University of Ottawa…
Cited by 1 (0 self) – Add To MetaCart

An Algebraic Framework for the Feature Interaction Problem
by Mohammed Faci, Luigi Logrippo — 1996 — PROC. OF THE 3RD AMAST WORKSHOP ON REAL-TIME SYSTEMS, SALT LAKE CITY
…An Algebraic Framework for the Feature Interaction Problem 1 Mohammed Faci and Luigi Logrippo…
Cited by 2 (2 self) – Add To MetaCart

Structural Models for Specifying Telephone Systems
by Mohammed Faci, Luigi Logrippo, Bernard Stepien — 1997 — COMPUTER NETWORKS AND ISDN SYSTEMS
… Mohammed Faci, Luigi Logrippo, and Bernard Stepien University of Ottawa Telecommunications Software…
Cited by 19 (3 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB