Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers /

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 for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
Published: (2008)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
Published: (2006)

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
Published: (2009)

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

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
Published: (2006)

Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
Published: (2011)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /
Published: (2008)

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published: (2007)

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
Published: (2005)

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published: (2007)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Published: (2007)

Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 /
Published: (1984)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
Published: (2003)

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised selected papers /
Published: (2011)

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)

Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
Published: (2010)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /
Published: (2004)

Industrial use of formal methods : formal verification /
Published: (2012)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
Published: (2006)

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

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
Published: (2007)

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings /
Published: (2010)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)

Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures /
Published: (2007)

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

Modeling and verification of real-time systems : formalisms and software tools /
Published: (2008)

Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures /
Published: (2008)

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 : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings /
Published: (2011)

Runtime Verification.
Published: (2008)

Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /
Published: (2005)

Formal methods, foundations and applications : 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers /
Published: (2011)

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Tests and proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011. Proceedings /
Published: (2011)