FM 2012: formal methods 18th International Symposium, Paris, France, August 27-31, 2012. proceedings /

FM 2012: formal methods 18th International Symposium, Paris, France, August 27-31, 2012. proceedings /

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. T...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Méry, Dominique, Giannakopoulou, Dimitra
Μορφή:	Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Imprint: Springer 2012.
Σειρά:	Lecture notes in Computer Science 7436
Θέματα:	Computer science. Software engineering. Logic design. Information Systems.
Διαθέσιμο Online:	Click here to view the full text content
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
ανά: Fitzgerald, John
Έκδοση: (2005)

FM 2014: formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
Έκδοση: (2014)

Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /
Έκδοση: (2012)

FM 2015: Formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Έκδοση: (2015)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Έκδοση: (2013)

Formal Methods: foundations and applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Έκδοση: (2012)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Έκδοση: (2012)

Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /
Έκδοση: (2014)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Έκδοση: (2013)

FM 2006: formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
Έκδοση: (2006)

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Έκδοση: (2012)

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Έκδοση: (2013)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Έκδοση: (2010)

Formal modeling and analysis of timed systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
Έκδοση: (2012)

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Έκδοση: (2013)

Theoretical aspects of computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /
Έκδοση: (2012)

Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Έκδοση: (2014)

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
Έκδοση: (2013)

Formal methods applications and technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
ανά: Brim, Lubos
Έκδοση: (2007)

Formal aspects of component software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Έκδοση: (2014)

Integrated formal methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Formal methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
ανά: Butler, Michael
Έκδοση: (2007)

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Έκδοση: (2013)

Formal methods for executable software models : 14th International school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
Έκδοση: (2014)

Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Έκδοση: (2011)

Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
Έκδοση: (2013)

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Έκδοση: (2012)

Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Έκδοση: (2010)

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Έκδοση: (2014)

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Έκδοση: (2013)

NASA formal methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
Έκδοση: (2014)

Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
Έκδοση: (2014)

Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
Έκδοση: (2013)

Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
Έκδοση: (2013)

Static analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
Έκδοση: (2012)

Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
Έκδοση: (2013)

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)

Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Έκδοση: (2012)

Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
Έκδοση: (2010)