Searching for authors named "Mohammed Faci" – sorted by Relevance.
-
Formal Specification of Telephone Systems in LOTOS: The Constraint-Oriented Style Approach
- 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
- -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
- 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
- Mohammed Faci, Luigi Logrippo, and Bernard Stepien University of Ottawa Telecommunications Software
- Cited by 19 (3 self) – Add To MetaCart

