| 2001 |
|---|
| 3 | EE | Dominique L'Her,
Philippe Le Parc,
Lionel Marcé:
Proving sequential function chart programs using timed automata.
Theor. Comput. Sci. 267(1-2): 141-155 (2001) |
| 1999 |
|---|
| 2 | | Philippe Le Parc,
Dominique L'Her,
J.-L. Scharbarg,
Lionel Marcé:
Grafcet revisited with a synchronous data-flow language.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 29(3): 284-293 (1999) |
| 1998 |
|---|
| 1 | EE | Dominique L'Her,
Philippe Le Parc,
Lionel Marcé:
Proving Sequential Function Chart Programs Using Automata.
Workshop on Implementing Automata 1998: 149-163 |
