 | 2008 |
|---|
| 5 |       | Philippe Veber,
Carito Guziolowski,
Michel Le Borgne,
Ovidiu Radulescu,
Anne Siegel:
Inferring the role of transcription factors in regulatory networks.
BMC Bioinformatics 9: (2008) |
| 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 |
