CHASE: Contract-based requirement engineering for cyber-physical system design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli. CHASE: Contract-based requirement engineering for cyber-physical system design. In 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018. pages 839-844, IEEE, 2018. [doi]

This author has not been identified. Look up 'Pierluigi Nuzzo' in GoogleThis author has not been identified. Look up 'Michele Lora' in GoogleThis author has not been identified. Look up 'Yishai A. Feldman' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google

runs on WebDSL