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