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.
Διαθέσιμο Online:	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)