Leveraging applications of formal methods, verification, and validation : International workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

Leveraging applications of formal methods, verification, and validation : International workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

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...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awdur Corfforaethol:	SpringerLink (Online service)
Awduron Eraill:	Hähnle, Reiner
Fformat:	eLyfr
Iaith:	English
Cyhoeddwyd:	Berlin, Heidelberg Imprint: Springer 2012.
Cyfres:	Communications in Computer and Information Science
Pynciau:	Computer science. Software engineering. Data mining. Information storage and retrieval systems. Artificial intelligence. Optical pattern recognition.
Mynediad Ar-lein:	Click here to view the full text content
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Leveraging applications of formal methods, verification, and validation 4th international symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
Cyhoeddwyd: (2010)

Leveraging applications of formal methods, verification, and validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
Cyhoeddwyd: (2010)

Leveraging applications of formal methods, verification and validation. Technologies for mastering change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
Cyhoeddwyd: (2012)

Leveraging applications of formal methods, verification and validation. Applications and case studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
Cyhoeddwyd: (2012)

Theorie and applications of formal argumentation : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers /
Cyhoeddwyd: (2012)

Leveraging applications of formal methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
Cyhoeddwyd: (2006)

Formal verification of object-oriented software international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, revised selected papers /
Cyhoeddwyd: (2012)

Computer science and convergence CSA 2011 & WCC 2011 proceedings /
Cyhoeddwyd: (2012)

Web-age information management : WAIM 2011 International Workshops: WGIM 2011, XMLDM 2011, SNA 2011, Wuhan, China, September 14-16, 2011, Revised Selected Papers /
Cyhoeddwyd: (2012)

Modeling and mining ubiquitous social media International workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers /
Cyhoeddwyd: (2012)

System validation and verification /
gan: Grady, Jeffrey O.
Cyhoeddwyd: (1998)

Proceedings of the international conference on soft computing for problem solving (SocProS 2011) December 20-22, 2011 : Volume 2 /
Cyhoeddwyd: (2012)

Proceedings of the international conference on soft computing for problem solving (SocProS 2011) December 20-22, 2011 : Volume 1 /
Cyhoeddwyd: (2012)

Applied formal verification /
gan: Perry, Douglas L.
Cyhoeddwyd: (2005)

Applied formal verification /
gan: Perry, Douglas L.
Cyhoeddwyd: (2005)

Formal verification of circuits /
gan: Drechsler, Rolf
Cyhoeddwyd: (2000)

Applied formal verification
gan: Perry, Douglas L.
Cyhoeddwyd: (2005)

Formal verification of circuits
gan: Drechsler, Rolf
Cyhoeddwyd: (2000)

Applied formal verification
gan: Perry, Douglas L.
Cyhoeddwyd: (2005)

Formal verification of circuits
gan: Drechsler, Rolf
Cyhoeddwyd: (2000)

Formal verification of circuits /
gan: Drechsler, Rolf
Cyhoeddwyd: (2000)

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Cyhoeddwyd: (2013)

Verification and validation in scientific computing /
gan: Oberkampf, William L.
Cyhoeddwyd: (2010)

Software verification and validation : an engineering and scientific approach /
gan: Fisher, Marcus S.

Software verification and validation an engineering and scientific approach
gan: Fisher, Marcus S.
Cyhoeddwyd: (2007)

Software verification and validation an engineering and scientific approach
gan: Fisher, Marcus S.
Cyhoeddwyd: (2007)

Knowledge technology Third knowledge technology week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. revised selected papers /
Cyhoeddwyd: (2012)

Formal aspects of security and trust : 8th International workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers /
Cyhoeddwyd: (2012)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Cyhoeddwyd: (2012)

Scalable techniques for formal verification
gan: Ray, Sandip
Cyhoeddwyd: (2010)

Uncertainty reasoning for the semantic web III : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers /
Cyhoeddwyd: (2014)

Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /
Cyhoeddwyd: (2012)

Adaptive multimedia retrieval. large-scale multimedia retrieval and evaluation : 9th International Workshop, AMR 2011, Barcelona, Spain, July 18-19, 2011, Revised Selected Papers /
Cyhoeddwyd: (2013)

EXA 2011 proceedings of the international conference on exotic atoms and related topics (EXA 2011) held in Vienna, Austria, september 5-9, 2011 /
Cyhoeddwyd: (2012)

Data-driven process discovery and analysis First International Symposium, SIMPDA 2011, Campione d'Italia, Italy, June 29 - July 1, 2011, Revised Selected Papers /
Cyhoeddwyd: (2012)

Semantics in data and knowledge bases : 5th International Workshop, SDKB 2011, Zurich, Switzerland, July 3, 2011, Revised Selected Papers /
Cyhoeddwyd: (2013)

Computational intelligence for multimedia understanding international workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, revised selected papers /
Cyhoeddwyd: (2012)

Proceedings of the international conference on IT convergence and security 2011
Cyhoeddwyd: (2012)

Camera-based document analysis and recognition : 4th International Workshop, CBDAR 2011, Beijing, China, September 22, 2011, Revised Selected Papers /
Cyhoeddwyd: (2012)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Cyhoeddwyd: (2012)