Dominique L'Her

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

Dominique L'Her, Philippe Le Parc, Lionel Marcé
Proving sequential function chart programs using timed automata. Theor. Comput. Sci. 267 (1-2) (2001)
Philippe Le Parc, Dominique L'Her, Jean-Luc Scharbarg, Lionel Marcé
Grafcet revisited with a synchronous data-flow language. IEEE Trans. Syst. Man Cybern. Part A 29 (3) (1999)
Dominique L'Her, Philippe Le Parc, Lionel Marcé
Proving Sequential Function Chart Programs Using Automata. Workshop on Implementing Automata (1998)