Formal specification and verification of components for industrial logic control programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian. Formal specification and verification of components for industrial logic control programming. In 2008 IEEE International Conference on Automation Science and Engineering, IEEE CASE 2008, Washington, DC, USA, August 23-26, 2008. pages 935-940, IEEE, 2008. [doi]

This author has not been identified. Look up 'Oscar Ljungkrantz' in GoogleThis author has not been identified. Look up 'Knut Åkesson' in GoogleThis author has not been identified. Look up 'Martin Fabian' in Google

runs on WebDSL