Formal methods (Computer science)
Overview
| Works: | 259 works in 182 publications in 182 languages | |
|---|---|---|
Titles
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Integrated Formal Methods : = 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
by:
(Language materials, printed)
Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
by:
(Language materials, printed)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(Language materials, printed)
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : = 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
by:
(Language materials, printed)
Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by:
(Language materials, printed)
Computer performance engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Formal methods and testing = an outcome of the FORTEST network : revised selected papers /
by:
(Language materials, printed)
Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of security and trust = 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
(Language materials, printed)
FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems /
by:
(Language materials, printed)
Countering Counterfeit Trade = Illicit Market Insights, Best-Practice Strategies, and Management Toolbox /
by:
(Language materials, printed)
Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers /
by:
(Language materials, printed)
Web services and formal methods = 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /
by:
(Language materials, printed)
Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers /
by:
(Language materials, printed)
Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(Language materials, printed)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(Language materials, printed)
Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(Language materials, printed)
Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(Language materials, printed)
Formal techniques for networked and distributed systems--FORTE 2008 = 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /
by:
(Language materials, printed)
Practical UML statecharts in C/C++ = event-driven programming for embedded systems /
by:
(Language materials, printed)
Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(Language materials, printed)
FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /
by:
(Language materials, printed)
Formal methods = foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers /
by:
(Language materials, printed)
Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(Language materials, printed)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(Language materials, printed)
Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /
by:
(Language materials, printed)
Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(Language materials, printed)
Formal ontology in information systems = proceedings of the sixth international conference (FOIS 2010) /
by:
(Language materials, printed)
Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
(Language materials, printed)
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
(Language materials, printed)
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(Language materials, printed)
Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
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)
Formal development of a network-centric RTOS = software engineering for reliable embedded systems /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Language materials, printed)
Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
by:
(Language materials, printed)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(Language materials, printed)
Theory and applications of formal argumentation = third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers /
by:
(Language materials, printed)
Software engineering and formal methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
(Language materials, printed)
Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers /
by:
(Language materials, printed)
Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
by:
(Language materials, printed)
NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings /
by:
(Language materials, printed)
Web services and formal methods = 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers /
by:
(Language materials, printed)
Formal concept analysis = 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Integrated formal methods = 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings /
by:
(Language materials, printed)
Formal methods: foundations and applications = 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 : proceedings /
by:
(Language materials, printed)
Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday /
by:
(Language materials, printed)
Formal grammar = 17th and 18th International Conferences, FG 2012/2013 Opole, Poland, August 2012 : revised selected papers, Dusseldorf, Germany, August 2013 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013 : proceedings /
by:
(Language materials, printed)
Structured object-oriented formal language and method = second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers /
by:
(Language materials, printed)
Formal methods for components and objects = 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures /
by:
(Language materials, printed)
Computer performance engineering = 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings /
by:
(Language materials, printed)
Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
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 = a survey of applications /
by:
(Language materials, printed)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(Language materials, printed)
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(Language materials, printed)
Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
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 /
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)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
(Language materials, printed)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
(Language materials, printed)
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of security and trust = 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
(Language materials, printed)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Language materials, printed)
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Language materials, printed)
Computer performance engineering = 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings /
by:
(Language materials, printed)
Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings /
by:
(Language materials, printed)
System specification and design languages = selected contributions from FDL 2010 /
by:
(Language materials, printed)
Foundations of algebraic specification and formal software development
by:
(Language materials, printed)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Language materials, printed)
Transactions on computational science XV = special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems /
by:
(Language materials, printed)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Theory and applications of formal argumentation = first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011 : revised selected papers /
by:
(Language materials, printed)
Web services and formal methods = 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers /
by:
(Language materials, printed)
Fuzzy computational ontologies in contexts = formal models of knowledge representation with membership degree and typicality of objects, and their applications /
by:
(Language materials, printed)
FME 2003 = formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
by:
(Language materials, printed)
Formal aspects of security = first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /
by:
(Language materials, printed)
Formal methods and software engineering = 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings /
by:
(Language materials, printed)
Formal methods for components and objects = first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
by:
(Language materials, printed)
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 2003 : advanced lectures /
by:
(Language materials, printed)
Formal techniques for networked and distributed systems, FORTE 2003 = 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
by:
(Language materials, printed)
Integrated formal methods = 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings /
by:
(Language materials, printed)
Applying formal methods = testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Formal methods and software engineering = 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
by:
(Language materials, printed)
Formal methods for components and objects = second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
by:
(Language materials, printed)
Formal methods for the design of real-time systems = International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers /
by:
(Language materials, printed)
Formal techniques for networked and distributed systems - FORTE 2004 = 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /
by:
(Language materials, printed)
From object-orientation to formal methods = essays in memory of Ole-Johan Dahl /
by:
(Language materials, printed)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(Language materials, printed)
Formal aspects in security and trust = 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
(Language materials, printed)
Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Formal ontology in information systems = proceedings of the seventh International Conference (FOIS 2012) /
by:
(Language materials, printed)
Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Language materials, printed)
Theory and applications of formal argumentation = second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Modeling and verification using UML statecharts = a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by:
(Language materials, printed)
Formal methods applied to complex systems DUP_1 = implementation of the B Method /
by:
(Language materials, printed)
Formal methods for industrial critical systems = a survey of applications /
by:
(Language materials, printed)
Formal methods applied to complex systems = implementation of the B Method /
by:
(Language materials, printed)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2013 /
by:
(Language materials, printed)
Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
(Language materials, printed)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2014 /
by:
(Language materials, printed)
Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
(Language materials, printed)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
(Language materials, printed)
Formal methods: foundations and applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings /
by:
(Language materials, printed)
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
(Language materials, printed)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Language materials, printed)
Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
(Language materials, printed)
Web services, formal methods, and behavioral types = 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
by:
(Language materials, printed)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(Language materials, printed)
Formal techniques for distributed objects components, and systems = 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings /
by:
(Language materials, printed)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 /
by:
(Language materials, printed)
Formal methods for the quantitative evaluation of collective adaptive systems = 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures /
by:
(Language materials, printed)
NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : 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)
Computer performance engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings /
by:
(Language materials, printed)
Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II /
by:
(Language materials, printed)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Language materials, printed)
FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(Language materials, printed)
Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
by:
(Language materials, printed)
Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of component software = 13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016 : revised selected papers /
by:
(Language materials, printed)
Formal methods and software engineering = 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings /
by:
(Language materials, printed)
Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers /
by:
(Language materials, printed)
Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude /
by:
(Language materials, printed)
Concise guide to formal methods = theory, fundamentals and industry applications /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
(Language materials, printed)
Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 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)
Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings /
by:
(Language materials, printed)
NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings /
by:
(Language materials, printed)
Theory and applications of formal argumentation = 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers /
by:
(Language materials, printed)
Structured object-oriented formal language and method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers /
by:
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
by:
(Language materials, printed)
Formal methods = 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings /
by:
(Language materials, printed)
Integrated formal methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : 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)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings /
by:
(Language materials, printed)
Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part III /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part IV /
by:
(Language materials, printed)
Formal methods for nonmonotonic and related logics.. Vol II,. Theory revision, inheritance, and various abstract properties
by:
(Language materials, printed)
Formal methods for nonmonotonic and related logics.. Vol I:,. Preference and size
by:
(Language materials, printed)
Formal methods and software engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part I /
by:
(Language materials, printed)
Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(Language materials, printed)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(Language materials, printed)
NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings /
by:
(Language materials, printed)
Formal concept analysis = 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings /
by:
(Language materials, printed)
Formal techniques for distributed objects, components, and systems = 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
by:
(Language materials, printed)
Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings /
by:
(Language materials, printed)
NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings /
by:
(Language materials, printed)
Formal techniques for distributed objects, components, and systems = 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers /
by:
(Language materials, printed)
Formal methods in computer-aided design = 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /
by:
(Language materials, printed)
Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers /
by:
(Language materials, printed)
Dependable software engineering = theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings /
by:
(Language materials, printed)
Software verification and formal methods for ML-enabled autonomous systems = 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings /
by:
(Language materials, printed)
Formal techniques for distributed objects, components, and systems = 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
by:
(Language materials, printed)
Applicable formal methods for safe industrial products = essays dedicated to Jan Peleska on the occasion of his 65th birthday /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
(Language materials, printed)
Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
(Language materials, printed)
Formal methods for an informal world = ICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings /
by:
(Language materials, printed)
Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(Language materials, printed)
Theories of programming and formal methods = essays dedicated to Jifeng He on the occasion of his 80th birthday /
by:
(Language materials, printed)
Formal methods teaching = 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings /
by:
(Language materials, printed)
Symbolic computation in software science = 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
by:
(Language materials, printed)
The application of formal methods = essays dedicated to Jim Woodcock on the occasion of his retirement /
by:
(Language materials, printed)
The practice of formal methods = essays in honour of Cliff Jones.. Part II /
by:
(Language materials, printed)
The practice of formal methods = essays in honour of Cliff Jones.. Part I /
by:
(Language materials, printed)
Formal aspects of component software = 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
(Language materials, printed)
Show more
Fewer
Subjects