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

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

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. T...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Coauteur:	SpringerLink (Online service)
Andere auteurs:	Petre, Luigia, Johnsen, Einar Broch
Formaat:	E-boek
Taal:	English
Gepubliceerd in:	Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Reeks:	Lecture Notes in Computer Science 7940
Onderwerpen:	Computer science. Software engineering. Logic design.
Online toegang:	Click here to view the full text content
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

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

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

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

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

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

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

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

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

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

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

Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
Gepubliceerd in: (2013)

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Gepubliceerd in: (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
door: Brim, Lubos
Gepubliceerd in: (2007)

Formal aspects of component software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Gepubliceerd in: (2014)

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

Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings /
Gepubliceerd in: (2014)

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
Gepubliceerd in: (2010)

Formal modeling and analysis of timed systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
Gepubliceerd in: (2012)

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

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Gepubliceerd in: (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 /
Gepubliceerd in: (2014)

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Gepubliceerd in: (2012)

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

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

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

Reliable software technologies - Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
Gepubliceerd in: (2013)

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

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

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Gepubliceerd in: (2013)

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

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

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

FM 2015: Formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Gepubliceerd in: (2015)

Formal modeling and analysis of timed systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Gepubliceerd in: (2007)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Gepubliceerd in: (2013)

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

Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /
Gepubliceerd in: (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
door: Bernardo, Marco
Gepubliceerd in: (2005)

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

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Gepubliceerd in: (2013)