The first meeting of the WP4.2 and WP4.3 work packages of the R3-COP ARTEMIS project was hosted by the Universität Erlangen-Nürnberg in July 2010. During the meeting the partners first reviewed the goals of the work packages responsible for the V&V activities of autonomous systems, then each partner (Austrian Institute of Technology GmbH, BME, Brno University of Technology, Friedrich-Alexander Universität Erlangen-Nürnberg, Inst. of Mathematics and Computer Science of the University of Latvia, Siemens AG) presented their related, existing research results. Read more »