Metric interval temporal logic specification elicitation and debugging - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adel Dokhanchi, Bardh Hoxha, Georgios E. Fainekos. Metric interval temporal logic specification elicitation and debugging. In 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015. pages 70-79, IEEE, 2015. [doi]

This author has not been identified. Look up 'Adel Dokhanchi' in GoogleThis author has not been identified. Look up 'Bardh Hoxha' in GoogleThis author has not been identified. Look up 'Georgios E. Fainekos' in Google

runs on WebDSL