Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /

Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Conference on Formal Engineering Methods (14th : 2012 : Kyoto, Japan)
Imprint:	Berlin : Springer, ©2012.
Description:	1 online resource (xiv, 512 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science ; 7635 LNCS sublibrary. SL 2, Programming and software engineering. Lecture notes in computer science ; 7635. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Formal methods (Computer science) -- Congresses. Software engineering -- Congresses. Computer software -- Verification -- Congresses. Computer software -- Verification. Formal methods (Computer science) Software engineering. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11077601

Hidden Bibliographic Details
Other authors / contributors:	Aoki, Toshiaki. Taguchi, Kenji, 1956-
ISBN:	9783642342813 3642342817 9783642342806 3642342809
Notes:	Includes bibliographical references and author index. Online resource; title from digital title page (viewed on Nov. 9, 2012).
Summary:	This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
Other form:	Print version: International Conference on Formal Engineering Methods (14th : 2012 : Kyoto, Japan). Formal methods and software engineering. Berlin : Springer, ©2012

Similar Items

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings /
Published: (2013)

Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /
Published: (2021)

Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part IV /
Published: (2021)

Formal methods for industrial critical systems /
Published: (2009)

Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday /
Published: (2011)

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings /
Published: (2009)

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

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
Published: (2008)

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

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
Published: (2016)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
Published: (2009)

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 /
Published: (2012)

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 /
Published: (2012)

Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings /
Published: (2015)

Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings /
Published: (2011)

Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /
Published: (2019)

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part II /
Published: (2020)

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
Published: (2004)

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

Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
Published: (2018)

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

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

Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings /
Published: (2010)

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

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

Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings /
Published: (2019)

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

Formal Methods and Software Engineering. 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
Published: (2008)

Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings /
Published: (2007)

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings /
Published: (2009)

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /
Published: (2002)

Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
Published: (2011)

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /
Published: (2002)

Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
Published: (2012)

Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs /
by: Herdt, Vladimir
Published: (2016)

Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
Published: (2018)

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
Published: (2016)

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Published: (2017)

System specification and design languages : selected contributions from FDL 2010 /
Published: (2012)