• search hit 7 of 11
Back to Result List

Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Benny Höckner, Petra HofstedtGND, Thilo Vörtler, Peter Sauer, Thomas HinzeORCiD
URL:http://www.informatik.uni-kiel.de/uploads/tx_publication/tr-1306-bericht.pdf
Title of the source (English):20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013
Publisher:Institut für Informatik, Christian-Albrechts-Universität
Place of publication:Kiel
Editor: Michael Hanus, Ricardo Rocha
Document Type:Conference Proceeding
Language:English
Year of publication:2013
First Page:183
Last Page:197
Series ; volume number:Bericht, Institut für Informatik der Christian-Albrechts-Universität zu Kiel ; 1306
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.