[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - Assisted Generation of Frame Conditions for Formal Models
Niemann, Philipp, Hilken, Frank, Gogolla, Martin, Wille, RobertYear:
2015
Language:
english
DOI:
10.7873/DATE.2015.0646
File:
PDF, 89 KB
english, 2015