| 2001 |
|---|
| 4 | | Hervé Marchand,
Éric Rutten,
Michel Le Borgne,
Mazen Samaan:
Formal verification of programs specified with signal: application to a power transformer station controller.
Sci. Comput. Program. 41(1): 85-104 (2001) |
| 1996 |
|---|
| 3 | | Michel Le Borgne,
Hervé Marchand,
Éric Rutten,
Mazen Samaan:
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller.
AMAST 1996: 271-285 |
| 1992 |
|---|
| 2 | | Albert Benveniste,
Michel Le Borgne,
Paul Le Guernic:
SIGNAL as a Model for Real-Time and Hybrid Systems.
ESOP 1992: 20-38 |
| 1 | | Albert Benveniste,
Michel Le Borgne,
Paul Le Guernic:
Hybrid Systems: The SIGNAL Approach.
Hybrid Systems 1992: 230-254 |
