A SAT-Based Approach for the Construction of Reusable Control System Components - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St.-Denis. A SAT-Based Approach for the Construction of Reusable Control System Components. In Gwen Salaün, Bernhard Schätz, editors, Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings. Volume 6959 of Lecture Notes in Computer Science, pages 52-67, Springer, 2011. [doi]

This author has not been identified. Look up 'Daniel Côté' in GoogleThis author has not been identified. Look up 'Benoît Fraikin' in GoogleThis author has not been identified. Look up 'Marc Frappier' in GoogleThis author has not been identified. Look up 'Richard St.-Denis' in Google

runs on WebDSL