Considering Abstraction Levels on a Case Study

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Thule, Csaper; Nilsson, Rene.

Journal title: The 14th Overture Workshop: Towards Analytical Tool Chains

Journal number: Vol. 4, No. 28

Journal publisher: Aarhus University, Department of Engineering

Published year: 2016