Towards the exhaustive verification of real-time aspects in controller implementation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlo A. Furia, Marco Mazzucchelli, Paola Spoletini, Mara Tanelli. Towards the exhaustive verification of real-time aspects in controller implementation. In IEEE International Conference on Computer-Aided Control Systems, CACSD 2008, San Antonio, TX, USA, September 3-5, 2008. pages 1265-1270, IEEE, 2008. [doi]

Identified as Carlo A. Furia This author has not been identified. Look up 'Marco Mazzucchelli' in GoogleThis author has not been identified. Look up 'Paola Spoletini' in GoogleThis author has not been identified. Look up 'Mara Tanelli' in Google

runs on WebDSL