Go back to Dagstuhl Reports |
Abraham, Erika ;
Kress-Gazit, Hadas ;
Natale, Lorenzo ;
Tacchella, Armando
Weitere Beteiligte (Hrsg. etc.): Erika Abraham and Hadas Kress-Gazit and Lorenzo Natale and Armando Tacchella
pdf-format: |
|
@Article{abraham_et_al:DR:2017:7352, author = {Erika Abraham and Hadas Kress-Gazit and Lorenzo Natale and Armando Tacchella}, title = {{Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)}}, pages = {48--63}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {7}, number = {2}, editor = {Erika Abraham and Hadas Kress-Gazit and Lorenzo Natale and Armando Tacchella}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7352}, URN = {urn:nbn:de:0030-drops-73527}, doi = {10.4230/DagRep.7.2.48}, annote = {Keywords: analysis, artificial intelligence, autonomous systems, computer-aided software development, domain-specific languages, formal methods, } }
Keywords: | analysis, artificial intelligence, autonomous systems, computer-aided software development, domain-specific languages, formal methods, | |
Freie Schlagwörter (englisch): | model-driven software engineering, robotics, safety, synthesis, testing, verification | |
Collection: | Dagstuhl Reports, Volume 7, Issue 2 | |
Issue Date: | 2017 | |
Date of publication: | 08.09.2017 |