Generating Good Properties from a Small Number of Use Cases

Autor:	Malburg, Jan, Flenker, Tino, Fey, Görschwin
Rok vydání:	2016
Předmět:	Property Generation Simulation based Design Understanding Electronic Design Automation Dataflow-analysis
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______1640::c9fee1d856390c59be07f3d70f2154fe https://elib.dlr.de/105973/ Zobrazit plný text záznamu