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

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Hähnle, Reiner
Định dạng:	eBook
Ngôn ngữ:	English
Được phát hành:	Berlin, Heidelberg Imprint: Springer 2012.
Loạt:	Communications in Computer and Information Science
Những chủ đề:	Computer science. Software engineering. Data mining. Information storage and retrieval systems. Artificial intelligence. Optical pattern recognition.
Truy cập trực tuyến:	Click here to view the full text content
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

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 /
Được phát hành: (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 /
Được phát hành: (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 /
Được phát hành: (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 /
Được phát hành: (2012)

Theorie and applications of formal argumentation : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers /
Được phát hành: (2012)

Leveraging applications of formal methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
Được phát hành: (2006)

Formal verification of object-oriented software international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, revised selected papers /
Được phát hành: (2012)

Computer science and convergence CSA 2011 & WCC 2011 proceedings /
Được phát hành: (2012)

Web-age information management : WAIM 2011 International Workshops: WGIM 2011, XMLDM 2011, SNA 2011, Wuhan, China, September 14-16, 2011, Revised Selected Papers /
Được phát hành: (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 /
Được phát hành: (2012)

System validation and verification /
Bằng: Grady, Jeffrey O.
Được phát hành: (1998)

Proceedings of the international conference on soft computing for problem solving (SocProS 2011) December 20-22, 2011 : Volume 2 /
Được phát hành: (2012)

Proceedings of the international conference on soft computing for problem solving (SocProS 2011) December 20-22, 2011 : Volume 1 /
Được phát hành: (2012)

Applied formal verification /
Bằng: Perry, Douglas L.
Được phát hành: (2005)

Applied formal verification /
Bằng: Perry, Douglas L.
Được phát hành: (2005)

Formal verification of circuits /
Bằng: Drechsler, Rolf
Được phát hành: (2000)

Applied formal verification
Bằng: Perry, Douglas L.
Được phát hành: (2005)

Formal verification of circuits
Bằng: Drechsler, Rolf
Được phát hành: (2000)

Applied formal verification
Bằng: Perry, Douglas L.
Được phát hành: (2005)

Formal verification of circuits
Bằng: Drechsler, Rolf
Được phát hành: (2000)

Formal verification of circuits /
Bằng: Drechsler, Rolf
Được phát hành: (2000)

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Được phát hành: (2013)

Verification and validation in scientific computing /
Bằng: Oberkampf, William L.
Được phát hành: (2010)

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

Software verification and validation an engineering and scientific approach
Bằng: Fisher, Marcus S.
Được phát hành: (2007)

Software verification and validation an engineering and scientific approach
Bằng: Fisher, Marcus S.
Được phát hành: (2007)

Knowledge technology Third knowledge technology week, KTW 2011, Kajang, Malaysia, July 18-22, 2011. revised selected papers /
Được phát hành: (2012)

Formal aspects of security and trust : 8th International workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers /
Được phát hành: (2012)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Được phát hành: (2012)

Scalable techniques for formal verification
Bằng: Ray, Sandip
Được phát hành: (2010)

Uncertainty reasoning for the semantic web III : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers /
Được phát hành: (2014)

Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /
Được phát hành: (2012)

Adaptive multimedia retrieval. large-scale multimedia retrieval and evaluation : 9th International Workshop, AMR 2011, Barcelona, Spain, July 18-19, 2011, Revised Selected Papers /
Được phát hành: (2013)

EXA 2011 proceedings of the international conference on exotic atoms and related topics (EXA 2011) held in Vienna, Austria, september 5-9, 2011 /
Được phát hành: (2012)

Data-driven process discovery and analysis First International Symposium, SIMPDA 2011, Campione d'Italia, Italy, June 29 - July 1, 2011, Revised Selected Papers /
Được phát hành: (2012)

Semantics in data and knowledge bases : 5th International Workshop, SDKB 2011, Zurich, Switzerland, July 3, 2011, Revised Selected Papers /
Được phát hành: (2013)

Computational intelligence for multimedia understanding international workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, revised selected papers /
Được phát hành: (2012)

Proceedings of the international conference on IT convergence and security 2011
Được phát hành: (2012)

Camera-based document analysis and recognition : 4th International Workshop, CBDAR 2011, Beijing, China, September 22, 2011, Revised Selected Papers /
Được phát hành: (2012)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Được phát hành: (2012)