Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jean-Marc Faure
Validation of Logic Controllers From Events Observation in a Closed-Loop System
Logic Controllers Dependability Verification Using a Plant Model
IFAC Proceedings Volumes
Designing Dependable Logic Controllers Using Algebraic Specifications
IFAC Proceedings Volumes
