Integer Overflow Detection in Hardware Designs at the Specification Level - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler. Integer Overflow Detection in Hardware Designs at the Specification Level. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020. pages 41-48, SCITEPRESS, 2020. [doi]

This author has not been identified. Look up 'Fritjof Bornebusch' in GoogleThis author has not been identified. Look up 'Christoph Lüth' in GoogleThis author has not been identified. Look up 'Robert Wille' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL