Formal methods (Computer science)
Resource Information
The concept Formal methods (Computer science) represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Formal methods (Computer science)
Resource Information
The concept Formal methods (Computer science) represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Formal methods (Computer science)
- Authority link
- http://id.worldcat.org/fast/00932926
- Source
- fast
252 Items that share the Concept Formal methods (Computer science)
Context
Context of Formal methods (Computer science)Subject of
No resources found
No enriched resources found
- 2008 Formal Methods in Computer-Aided Design : Portland, Oregon, USA, 17-20 November 2008
- 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)
- 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) : proceedings : May 25, 2013, San Francisco, CA, USA
- 2013 Formal Methods in Computer-Aided Design
- 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) : date, 19-21 Oct. 2014
- 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) : 18-20 Nov. 2016
- 2018 Forum on Specification & Design Languages : September 10-12, 2018, Munich, Germany
- ABZ 2014 : the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
- Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Agent technology from a formal perspective
- Algebraic informatics : third international conference ; proceedings, CAI 2009, Thessaloniki, Greece, May 19-22, 2009
- Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
- Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
- Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers
- Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
- Challenges for action theories
- Colloquium on "Formal Methods in HCI--III" : on Monday, 11 December 1989
- Colloquium on "Formal methods and human-computer interaction--II" : on Monday, 2 February 1988
- Communicating embedded systems : software and design : formal methods
- Computer performance engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings
- Computer performance engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 ; proceedings
- Computer performance engineering : 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings
- Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings
- Computer performance engineering : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings
- Computer performance engineering : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised selected papers
- Computer safety, reliability, and security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
- Constructing correct software
- Descriptional complexity of formal systems : 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011 : proceedings
- Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings
- Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
- Descriptional complexity of formal systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings
- Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) : Portland, Oregon, USA, 18-20 October, 2013
- FDL : proceedings of the 2013 Forum on Specification & Design Languages : Paris, France, September 24th-26th, 2013
- FDL, the 2016 Forum on Specification & Design Languages : proceedings : Bremen, Germany, September 14-16, 2016
- FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
- FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
- FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings
- FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings
- FM 2011 : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings
- FM 2012 : formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings
- FM 2014 : Formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
- FMCAD : Formal Methods in Computer Aided Design : Lugano, Switzerland, 20-23 October, 2010
- FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
- FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
- Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
- Finite-state methods and natural language processing : 8th international workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers
- Formal Methods and Models for Codesign (MEMOCODE), 2010 8th IEEE/ACM International Conference on : date, 26-28 July 2010
- Formal Methods and Models for Codesign (MEMOCODE), 2015 ACM/IEEE International Conference on : date, 21-23 Sept. 2015
- Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
- Formal Methods in Computer-Aided Design (FMCAD), 2011 : date: Oct. 30, 2011-Nov. 2, 2011
- Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
- Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers
- Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
- Formal aspects in security and trust : 6th international workshop, FAST 2009, Eindhoven, the Netherlands, November 5-6, 2009, revised selected papers
- Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers
- Formal aspects in security and trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
- Formal aspects in security and trust : third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers
- Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers
- Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers
- Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers
- Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers
- Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers
- Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, proceedings
- Formal concept analysis : 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014, proceedings
- Formal concept analysis : 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings
- Formal grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised selected papers
- Formal grammar : 17th and 18th International Conferences, FG 2012/2013, Opole, Poland, August 2012, Revised Selected Papers, Düsseldorf, Germany, August 2013. Proceedings
- Formal grammar : 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
- Formal hardware verification : methods and systems in comparison
- 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
- Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers
- Formal methods : state of the art and new directions
- Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays
- Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings
- Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings
- Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings
- 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 : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings
- Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
- Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
- Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
- 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 and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings
- Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings
- Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings
- Formal methods and testing : an outcome of the FORTEST network : revised selected papers
- Formal methods for Web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 : advanced lectures
- Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers
- Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005 : revised lectures
- Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
- Formal methods for components and objects : 6th international symposium FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, revised papers
- Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures
- Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009 : revised selected papers
- Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers
- Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures
- Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures
- Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
- 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
- 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
- Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
- 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
- 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
- Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers
- Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers
- Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings
- Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings
- Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings
- Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
- Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
- Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
- 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
- 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
- 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
- Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures
- Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
- Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
- Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings
- Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings
- Formal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas, USA
- Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
- Formal methods in computer-aided design : proceedings of : 12-16 November, 2006, San Jose, California, USA
- Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
- Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
- Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
- Formal methods, foundations and applications : 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers
- Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers
- Formal methods: foundations and applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
- Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
- Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
- Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
- Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings
- Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings
- Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 ; proceedings
- Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings
- Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
- Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings
- Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers
- Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings
- Formal models of agents : ESPRIT Project ModelAge final workshop selected papers
- Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings
- Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings
- Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings
- Formal techniques for distributed systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
- 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
- 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
- Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings
- Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings
- Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
- Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings
- Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
- Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
- Formal techniques for networked and distributed systems--FORTE 2008 : 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings
- Formal techniques for safety-critical systems : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised selected papers
- Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers
- FormaliSE 2016 : 4th FME Workshop on Formal Methods in Software Engineering : proceedings : 15 May 2016, Austin, Texas, USA
- FormaliSE 2019 : 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering : proceedings : 27 May 2019, Montreal, Canada
- Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers
- Foundations of algebraic specification and formal software development
- From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
- Industrial Strength Formal Specification Techniques : Proceedings, IEEE Workshop on Industrial-Strength Formal Specification Techniques (2nd: 1998: Boca Raton, FL)
- Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
- Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings
- Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings
- Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
- Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; proceedings
- Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings
- Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
- Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
- Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures
- Languages alive : essays dedicated to Jürgen Dassow on the occasion of his 65th birthday
- Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures
- Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers
- 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
- Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
- Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
- 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
- Leveraging applications of formal methods, verification, and validation : International Workshops SARS 2011 and MLSC 2011 held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers
- Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings
- MEMOCODE 2011 : Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign : Cambridge, UK : July 11-13, 2011
- Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking
- NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
- NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
- NASA formal methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29-May 1, 2014. Proceedings
- NASA formal methods : third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings
- Practical UML statecharts in C/C++ : event-driven programming for embedded systems
- Proceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design : FMCAD 2009, 15-18 November 2009, Austin, Texas, USA
- Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012)
- Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland
- Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design : FMCAD 2015 : September 27 - 30, 2015, Austin, Texas, USA
- Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design
- Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design (FMCAD 2016) : Mountain View, California, USA, October 3-6, 2016
- Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) : TU Wien, Vienna, Austria, October 2-6, 2017
- Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design : FMCAD 2018 : October 30-November 2, 2018, Austin, Texas, USA,
- Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design : FMCAD 2019 : October 22-25, 2019, San Jose, California, USA
- Proceedings of the 2011 Forum on Specification & Design Language : Oldenburg, Germany, September 13th-15th, 2011
- Proceedings of the 2012 Forum on Specification & Design Languages : Vienna, Austria, September 18th-20th, 2012
- Proceedings of the 2014 Forum on Specification & Design Languages : Munich, Germany, October 14th-16th, 2014
- Proceedings of the 2015 Forum on Specification & Design Languages : Barcelona, Spain, September 14-16, 2015
- Proceedings of the 2017 Forum on Specification & Design Languages : Verona, Italy, September 18-20
- Proceedings of the 2018 Forum on Specification & Design Languages : Munich, Germany, September 10-12, 2018
- Proceedings of the 2020 Forum for Specification & Design Languages (FDL) : Kiel (Germany), 15-17 September 2020
- Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design : FMCAD 2020
- Proceedings, ISoLA 2006 : Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation : proceedings : 15-19 November 2006, Paphos, Cyprus
- Proceedings, Sixth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2008 : 10-14 November 2008, Cape Town, South Africa
- Proceedings, Software Engineering and Formal Methods : 14-18 September 2010, Pisa, Italy
- Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers
- Rigorous development of complex fault-tolerant systems
- Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday
- Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings
- Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
- Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers
- Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers
- Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings
- Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers
- Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers
- SEEFM 2009 : 2009 Fourth South-East European Workshop on Formal Methods : formal methods for web services, formal methods for agent-Based systems : proceedings, 4-5 December 2009, Thessaloniki, Greece
- SEFM 2004 : proceedings of the Second International Conference on Software Engineering and Formal Methods : September 28-30, 2004, Beijing, China
- SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England
- SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam
- Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
- Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
- Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
- Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings
- Software engineering and formal methods : SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers
- Specification of software systems
- Structured object-oriented formal language and method : second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised selected papers
- Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers
- Teaching formal methods : Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings
- Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE 2012) : Arlington, Virginia, July 16-17, 2012
- Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings
- Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings
- The correctness-by-construction approach to programming
- Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009
- Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
- Theoretical aspects of computing--ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings
- Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday
- Theory and applications of formal argumentation : first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised selected papers
- Theory and applications of formal argumentation : second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised selected papers
- Transactions on computational science XV : special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems
- Using Event-B for critical device software systems
- Validated designs for object-oriented systems
- Verification techniques for system-level design
- Web services and formal methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers
- Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings
- Web services and formal methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers
- Web services and formal methods : 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers
- Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers
- Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised selected papers
- Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/Q3iCJHTk09Q/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/Q3iCJHTk09Q/">Formal methods (Computer science)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Formal methods (Computer science)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/Q3iCJHTk09Q/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/Q3iCJHTk09Q/">Formal methods (Computer science)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
