Performance Aspects of Correctness-oriented Synthesis Flows

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0010235100760086 ◽

2021 ◽

Author(s):

Fritjof Bornebusch ◽

Christoph Lüth ◽

Robert Wille ◽

Rolf Drechsler

Download Full-text