Design Space Exploration for Cyber Physical System Design using Constraint Solving
Author: | Benny Höckner, Petra HofstedtGND, Sascha Kaltschmidt, Peter Sauer, Thilo Vörtler |
---|---|
Title of the source (English): | The 2013 Forum on specification & Design Languages (FDL), Paris, France, September 24-26, 2013 |
Publisher: | IEEE |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2013 |
Number of pages: | 4 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Programmiersprachen und Compilerbau |