书目名称 | Leveraging Applications of Formal Methods, Verification, and Validation | 副标题 | International Worksh | 编辑 | Reiner Hähnle,Jens Knoop,Bernhard Steffen | 视频video | http://file.papertrans.cn/586/585397/585397.mp4 | 概述 | Fast-track conference proceedings.State-of-the-art research.Up-to-date results | 丛书名称 | Communications in Computer and Information Science | 图书封面 |  | 描述 | This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering | 出版日期 | Conference proceedings 2012 | 关键词 | Web services; automata learning; autonomous robots; knowledge management; software engineering | 版次 | 1 | doi | https://doi.org/10.1007/978-3-642-34781-8 | isbn_softcover | 978-3-642-34780-1 | isbn_ebook | 978-3-642-34781-8Series ISSN 1865-0929 Series E-ISSN 1865-0937 | issn_series | 1865-0929 | copyright | Springer-Verlag Berlin Heidelberg 2012 |
The information of publication is updating
书目名称Leveraging Applications of Formal Methods, Verification, and Validation影响因子(影响力) 
书目名称Leveraging Applications of Formal Methods, Verification, and Validation影响因子(影响力)学科排名 
书目名称Leveraging Applications of Formal Methods, Verification, and Validation网络公开度 
书目名称Leveraging Applications of Formal Methods, Verification, and Validation网络公开度学科排名 
书目名称Leveraging Applications of Formal Methods, Verification, and Validation被引频次 
书目名称Leveraging Applications of Formal Methods, Verification, and Validation被引频次学科排名 
书目名称Leveraging Applications of Formal Methods, Verification, and Validation年度引用 
书目名称Leveraging Applications of Formal Methods, Verification, and Validation年度引用学科排名 
书目名称Leveraging Applications of Formal Methods, Verification, and Validation读者反馈 
书目名称Leveraging Applications of Formal Methods, Verification, and Validation读者反馈学科排名 
|
|
|