Computer programs - Congresses. - Verification
Overview
Works: | 18 works in 12 publications in 12 languages |
---|
Titles
Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(Language materials, printed)
Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(Language materials, printed)
Hardware and software = verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013 : proceedings /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
(Language materials, printed)
Hardware and software = verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013 : proceedings /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
by:
(Language materials, printed)
Computer aided verification = 16th international conference, CAV 2004 /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
by:
(Language materials, printed)
Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Language materials, printed)
Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(Language materials, printed)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I /
by:
(Language materials, printed)
Show more
Fewer
Subjects