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

Ամբողջական նկարագրություն

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	SpringerLink (Online service)
Այլ հեղինակներ:	Hähnle, Reiner
Ձևաչափ:	էլ․ գիրք
Լեզու:	English
Հրապարակվել է:	Berlin, Heidelberg Imprint: Springer 2012.
Շարք:	Communications in Computer and Information Science
Խորագրեր:	Computer science. Software engineering. Data mining. Information storage and retrieval systems. Artificial intelligence. Optical pattern recognition.
Առցանց հասանելիություն:	Click here to view the full text content
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

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 /
Հրապարակվել է: (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 /
Հրապարակվել է: (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 /
Հրապարակվել է: (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 /
Հրապարակվել է: (2012)

Theorie and applications of formal argumentation : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Leveraging applications of formal methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
Հրապարակվել է: (2006)

Formal verification of object-oriented software international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, revised selected papers /
Հրապարակվել է: (2012)

Computer science and convergence CSA 2011 & WCC 2011 proceedings /
Հրապարակվել է: (2012)

Web-age information management : WAIM 2011 International Workshops: WGIM 2011, XMLDM 2011, SNA 2011, Wuhan, China, September 14-16, 2011, Revised Selected Papers /
Հրապարակվել է: (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 /
Հրապարակվել է: (2012)

System validation and verification /
: Grady, Jeffrey O.
Հրապարակվել է: (1998)

Proceedings of the international conference on soft computing for problem solving (SocProS 2011) December 20-22, 2011 : Volume 2 /
Հրապարակվել է: (2012)

Proceedings of the international conference on soft computing for problem solving (SocProS 2011) December 20-22, 2011 : Volume 1 /
Հրապարակվել է: (2012)

Applied formal verification /
: Perry, Douglas L.
Հրապարակվել է: (2005)

Applied formal verification /
: Perry, Douglas L.
Հրապարակվել է: (2005)

Formal verification of circuits /
: Drechsler, Rolf
Հրապարակվել է: (2000)

Applied formal verification
: Perry, Douglas L.
Հրապարակվել է: (2005)

Formal verification of circuits
: Drechsler, Rolf
Հրապարակվել է: (2000)

Applied formal verification
: Perry, Douglas L.
Հրապարակվել է: (2005)

Formal verification of circuits
: Drechsler, Rolf
Հրապարակվել է: (2000)

Formal verification of circuits /
: Drechsler, Rolf
Հրապարակվել է: (2000)

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Հրապարակվել է: (2013)

Verification and validation in scientific computing /
: Oberkampf, William L.
Հրապարակվել է: (2010)

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

Software verification and validation an engineering and scientific approach
: Fisher, Marcus S.
Հրապարակվել է: (2007)

Software verification and validation an engineering and scientific approach
: Fisher, Marcus S.
Հրապարակվել է: (2007)

Knowledge technology Third knowledge technology week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. revised selected papers /
Հրապարակվել է: (2012)

Formal aspects of security and trust : 8th International workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers /
Հրապարակվել է: (2012)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Հրապարակվել է: (2012)

Scalable techniques for formal verification
: Ray, Sandip
Հրապարակվել է: (2010)

Uncertainty reasoning for the semantic web III : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers /
Հրապարակվել է: (2014)

Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Adaptive multimedia retrieval. large-scale multimedia retrieval and evaluation : 9th International Workshop, AMR 2011, Barcelona, Spain, July 18-19, 2011, Revised Selected Papers /
Հրապարակվել է: (2013)

EXA 2011 proceedings of the international conference on exotic atoms and related topics (EXA 2011) held in Vienna, Austria, september 5-9, 2011 /
Հրապարակվել է: (2012)

Data-driven process discovery and analysis First International Symposium, SIMPDA 2011, Campione d'Italia, Italy, June 29 - July 1, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Semantics in data and knowledge bases : 5th International Workshop, SDKB 2011, Zurich, Switzerland, July 3, 2011, Revised Selected Papers /
Հրապարակվել է: (2013)

Computational intelligence for multimedia understanding international workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, revised selected papers /
Հրապարակվել է: (2012)

Proceedings of the international conference on IT convergence and security 2011
Հրապարակվել է: (2012)

Camera-based document analysis and recognition : 4th International Workshop, CBDAR 2011, Beijing, China, September 22, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)