Statistics
Publications
1
Citations
42
H-Index
1
Active since
1999
Affiliations
S. Lampérière-Couffin is an author at École Normale Supérieure Paris-Saclay specializing in control system validation, verification, and specification languages.
Publications per year
1999–1999
1
1
Formal validation of PLC programs: A survey
S. Lampérière-Couffin, O. Rossi, Jean‐Marc Roussel et al. · 1999 · 42 citations
1–1 of 1