A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt. A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 357-362, ACM, 2015. [doi]

This author has not been identified. Look up 'Alexander Biewer' in GoogleThis author has not been identified. Look up 'Benjamin Andres' in GoogleThis author has not been identified. Look up 'Jens Gladigau' in GoogleThis author has not been identified. Look up 'Torsten Schaub' in GoogleThis author has not been identified. Look up 'Christian Haubelt' in Google

runs on WebDSL