A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Alan Bundy, Dieter Hutter, Cliff Jones, J Strother, Moore, Peter Feiler, Jérôme Hugues, Oleg Sokolsky, Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Verissimo, Michael Waidner, Shivnath Babu, Goetz Graefe, Harumi Anne, Alberto Apostolico, Andreas Dress, Laxmi. "Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272) Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281) Database Workload Managemen (Dagstuhl Seminar 12282)." AI meets Formal Software Development (Dagstuhl Seminar 12271) Structure Discovery in Biology: Motifs, Networks & Phylogenies (2012)