An identification of system key attributes in structural reasoning for formal validation of industrial programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrei Lobov, Jose L. Martinez Lastra. An identification of system key attributes in structural reasoning for formal validation of industrial programming. In IEEE International Conference on Robotics and Biomimetics, ROBIO 2008, February 22-25, 2009, Bangkok, Thailand. pages 1242-1248, IEEE, 2008. [doi]

This author has not been identified. Look up 'Andrei Lobov' in GoogleThis author has not been identified. Look up 'Jose L. Martinez Lastra' in Google

runs on WebDSL