Dominique L'Her

According to our database, Dominique L'Her authored at least 3 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2001

Proving sequential function chart programs using timed automata.

Dominique L'Her, Philippe Le Parc, Lionel Marcé

Theor. Comput. Sci., 2001

1999

Grafcet revisited with a synchronous data-flow language.

Philippe Le Parc, Dominique L'Her, Jean-Luc Scharbarg, Lionel Marcé

IEEE Trans. Syst. Man Cybern. Part A, 1999

1998

Proving Sequential Function Chart Programs Using Automata.

Dominique L'Her, Philippe Le Parc, Lionel Marcé

Proceedings of the Automata Implementation, 1998