Formal validation techniques for Ontology-based Device Descriptions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Federico Rieckhof, Henrik Dibowski, Klaus Kabitzsch. Formal validation techniques for Ontology-based Device Descriptions. In Zoubir Mammeri, editor, IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011. pages 1-8, IEEE, 2011. [doi]

This author has not been identified. Look up 'Federico Rieckhof' in GoogleThis author has not been identified. Look up 'Henrik Dibowski' in GoogleThis author has not been identified. Look up 'Klaus Kabitzsch' in Google

runs on WebDSL