Login / Signup
S. Lampérière-Couffin
Publication Activity (10 Years)
Years Active: 1999-1999
Publications (10 Years): 0
</>
Publications
</>
S. Lampérière-Couffin
,
O. Rossi
,
Jean-Marc Roussel
,
Jean-Jacques Lesage
Formal validation of PLC programs: A survey.
ECC
(1999)