 | 1997 |
|---|
| 6 |       | Mohammed Faci,
Luigi Logrippo,
Bernard Stepien:
Structural Models for Specifying Telephone Systems.
Computer Networks and ISDN Systems 29(4): 501-528 (1997) |
| 1994 |
|---|
| 5 |  | Mohammed Faci,
Luigi Logrippo:
Specifying features and analysing their interactions in a LOTOS environment.
FIW 1994: 136-151 |
| 1993 |
|---|
| 4 | | Mohammed Faci,
Luigi Logrippo:
Specifying Hardware Systems in LOTOS.
CHDL 1993: 319-326 |
| 1991 |
|---|
| 3 | | Mohammed Faci,
Luigi Logrippo,
Bernard Stepien:
Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach.
Computer Networks and ISDN Systems 21: 53-67 (1991) |
| 2 | | Luigi Logrippo,
Mohammed Faci,
Mazen Haj-Hussein:
An Introduction to LOTOS: Learning by Examples.
Computer Networks and ISDN Systems 23(5): 325-342 (1991) |
| 1989 |
|---|
| 1 | | Mohammed Faci,
Luigi Logrippo,
Bernard Stepien:
Formal Specifications of Telephone Systems in LOTOS.
PSTV 1989: 25-34 |
