 | 2001 |
|---|
| 5 |       | 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) |
| 2000 |
|---|
| 4 |  | Hervé Marchand,
Mazen Samaan:
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.
IEEE Trans. Software Eng. 26(8): 729-741 (2000) |
| 1999 |
|---|
| 3 | | Hervé Marchand,
Mazen Samaan:
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.
World Congress on Formal Methods 1999: 1605-1624 |
| 1996 |
|---|
| 2 | | 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 |
| 1994 |
|---|
| 1 | | N. Bergé,
Mazen Samaan,
Guy Juanole,
Youcef Atamna:
Methodology for LAN Modeling and Analysis Using Petri Nets Based Models.
MASCOTS 1994: 335-342 |
