Formal methods: state of the art and new directions

Formal methods: state of the art and new directions

Mostrar otras versiones (1)

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Bowen, Jonathan P., Siddiqi, Jawed, Boca, Paul
Formato:	eBook
Lenguaje:	English
Publicado:	London Springer-Verlag 2010.
Materias:	Computer science Software engineering
Acceso en línea:	Click here to view the full text content
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Formal methods : state of the art and new directions /
Publicado: (2010)

Formal methods and software engineering 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
Publicado: (2010)

Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
Publicado: (2014)

Formal methods and software engineering 14th International conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings /
Publicado: (2012)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Publicado: (2010)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Publicado: (2012)

Formal methods and software engineering /
Publicado: (2005)

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
por: Brim, Lubos
Publicado: (2007)

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
por: Fitzgerald, John
Publicado: (2005)

Formal methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
por: Butler, Michael
Publicado: (2007)

Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Publicado: (2014)

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
Publicado: (2013)

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

Formal methods and software engineering /
Publicado: (2005)

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 /
Publicado: (2013)

Formal methods for model-driven engineering : 12th International school on formal methods for the design of computer, communication, and software systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /
Publicado: (2012)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Publicado: (2013)

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /
Publicado: (2013)

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Publicado: (2012)

Formal methods for mobile computing 5th International School on formal methods for the design of computer, communication, and software systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
por: Bernardo, Marco
Publicado: (2005)

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Publicado: (2013)

NASA formal methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
Publicado: (2014)

Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publicado: (2010)

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Publicado: (2013)

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Publicado: (2014)

FM 2014: formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
Publicado: (2014)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
por: Boer, Frank S.
Publicado: (2007)

Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
Publicado: (2005)

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

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 /
Publicado: (2014)

Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
Publicado: (2014)

Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
Publicado: (2013)

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /

Formal Methods: foundations and applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Publicado: (2012)

Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /
Publicado: (2014)

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

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

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Publicado: (2013)