{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:53:07Z","timestamp":1725454387967},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336744"},{"type":"electronic","value":"9783642336751"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33675-1_40","type":"book-chapter","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T12:33:04Z","timestamp":1347280384000},"page":"427-435","source":"Crossref","is-referenced-by-count":1,"title":["Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform"],"prefix":"10.1007","author":[{"given":"Erwin","family":"Schoitsch","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Herzner","sequence":"additional","affiliation":[]},{"given":"Carmen","family":"Alonso-Montes","sequence":"additional","affiliation":[]},{"given":"P.","family":"Chmelar","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Dalgaard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"ARTEMIS Joint Undertaking, the public private partnership for R&D in embedded systems, \n \n http:\/\/www.artemis-ju.eu\/"},{"key":"40_CR2","unstructured":"Related ARTEMIS-projects of the Safety\/High-reliability cluster of projects:"},{"key":"40_CR3","unstructured":"a. R3-COP project \u201cResilient Reasoning Robotic Co-operating Systems\u201d, \n \n http:\/\/www.r3-cop.eu"},{"key":"40_CR4","unstructured":"b. CESAR project \u201cCost-efficient methods and processes for safety relevant embedded systems\u201d, \n \n http:\/\/www.cesarproject.eu"},{"key":"40_CR5","unstructured":"c. MBAT project \u201cCombined Model-based Analysis and Testing of Embedded Systems\u201d, \n \n http:\/\/www.mbat-artemis.eu"},{"key":"40_CR6","unstructured":"d. pSafeCer\/nSafeCer projects \u201cSafety Certification of Software-intensive Systems with Reusable Components\u201d, \n \n http:\/\/www.safecer.eu"},{"key":"40_CR7","unstructured":"e. iFEST project \u201cIndustrial Framework for Embedded Systems Tools\u201d, \n \n http:\/\/www.artemis-ifest.eu"},{"key":"40_CR8","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10846-011-9577-1","volume":"65","author":"A. Benini","year":"2012","unstructured":"Benini, A., Mancini, A., Minutolo, R., Longhi, S., Montanari, M.: A modular framework for fast prototyping of cooperative unmanned aerial vehicles. Journal of Intelligent & Robotic Systems\u00a065, 507\u2013520 (2012), doi:10.1007\/s10846-011-9577-1","journal-title":"Journal of Intelligent & Robotic Systems"},{"key":"40_CR9","unstructured":"Dalgaard, L.: Rational System-level Design Methodology for Autonomous Robotic Systems, Ph.D. Thesis. Odense (2011)"},{"key":"40_CR10","unstructured":"Lill, R., Saglietti, F.: Model-based Testing of Autonomous Systems based on Coloured Petri Nets. In: Proc. Workshops ARCS 2012, February 28. Lecture Notes in Informatics, vol.\u00a0P-200. GI, TU Munich (2012)"},{"key":"40_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-642-30947-2_55","volume-title":"Agent and Multi-Agent Systems. Technologies and Applications","author":"Z. Micskei","year":"2012","unstructured":"Micskei, Z., Szatm\u00e1ri, Z., Ol\u00e1h, J., Majzik, I.: A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS, vol.\u00a07327, pp. 504\u2013513. Springer, Heidelberg (2012)"},{"key":"40_CR12","series-title":"SCI","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-642-24806-1_27","volume-title":"Autonomous Systems: Developments and Trends","author":"F. Saglietti","year":"2012","unstructured":"Saglietti, F., S\u00f6hnlein, S., Lill, R.: Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents. In: Unger, H., Kyamaky, K., Kacprzyk, J. (eds.) Autonomous Systems: Developments and Trends. SCI, vol.\u00a0391, pp. 353\u2013362. Springer, Heidelberg (2012)"},{"key":"40_CR13","unstructured":"Szatm\u00e1ri, Z., Ol\u00e1h, J., Majzik, I.: Ontology-based Test Data Generation using Metaheuristics. In: Proc. of the 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2011), July 28-31 (2011)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33675-1_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:18:34Z","timestamp":1620116314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33675-1_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336744","9783642336751"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33675-1_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}