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
フォーマット:	eBook
言語:	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)