Formal methods (Computer science)
Overview
Works: | 389 works in 270 publications in 270 languages |
---|
Titles
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 methods and testingan outcome of the FORTEST network : revised selected papers /
by:
(Electronic resources)
Web services and formal methods4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
by:
(Electronic resources)
Formal Aspects in Security and Trust (vol. # 3866)Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
by:
(Electronic resources)
Formal Methods for Hardware Verification6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
by:
(Electronic resources)
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3990)Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings /
by:
(Electronic resources)
Formal Approaches to Software Testing (vol. # 3997)5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /
by:
(Electronic resources)
Formal Methods and Stochastic Models for Performance EvaluationThird European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
by:
(Electronic resources)
Formal Methods for Components and Objects (vol. # 4111)4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /
by:
(Electronic resources)
FM 2006: Formal Methods14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
by:
(Electronic resources)
Web Services and Formal MethodsThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
by:
(Electronic resources)
Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
by:
(Electronic resources)
Formal Techniques for Networked and Distributed Systems - FORTE 200626th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /
by:
(Electronic resources)
Formal Methods and Software Engineering (vol. # 4260)8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /
by:
(Electronic resources)
Leveraging Applications of Formal MethodsFirst International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
by:
(Electronic resources)
Formal Approaches to Software Testing and Runtime VerificationFirst Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
by:
(Electronic resources)
Formal Methods in Software and Systems ModelingEssays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(Electronic resources)
Formal Approaches to Software Testing4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(Electronic resources)
Formal Methods for Mobile Computing5th 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:
(Electronic resources)
FM 2005: Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(Electronic resources)
Formal Methods for Components and Objects :Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
by:
(Electronic resources)
Formal Techniques for Networked and Distributed Systems - FORTE 2005 :25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
by:
(Electronic resources)
Formal Methods and Software Engineering :7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by:
(Electronic resources)
Integrated Formal Methods :5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
by:
(Electronic resources)
Formal Modeling and Analysis of Timed Systems :Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
(Electronic resources)
Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
by:
(Language materials, printed)
Formal methods for components and objects6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers /
by:
(Language materials, printed)
Integrated formal methods7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(Electronic resources)
FME 2003formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
by:
(Electronic resources)
Formal aspects of securityfirst international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /
by:
(Electronic resources)
Formal methods and software engineering5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings /
by:
(Electronic resources)
Formal methods for components and objectsfirst international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
by:
(Electronic resources)
Formal methods for software architecturesThird 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:
(Electronic resources)
Formal techniques for networked and distributed systems, FORTE 200323rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
by:
(Electronic resources)
Integrated formal methods4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings /
by:
(Electronic resources)
Applying formal methodstesting, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
by:
(Electronic resources)
Formal approaches to software testingThird International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /
by:
(Electronic resources)
Formal methods and software engineering6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
by:
(Electronic resources)
Formal methods for components and objectssecond international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
by:
(Electronic resources)
Formal methods for the design of real-time systemsInternational 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:
(Electronic resources)
Formal methods in computer-aided design5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systemsfirst international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers /
by:
(Electronic resources)
Formal techniques for networked and distributed systems - FORTE 200424th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /
by:
(Electronic resources)
From object-orientation to formal methodsessays in memory of Ole-Johan Dahl /
by:
(Electronic resources)
Web services and formal methods5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
(Electronic resources)
Formal aspects in security and trust5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
(Electronic resources)
Formal methods for web services9th 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:
(Electronic resources)
Formal techniques for distributed systemsJoint 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 /
by:
(Electronic resources)
Computer performance engineering6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings /
by:
(Electronic resources)
Language engineering and rigorous software developmentInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /
by:
(Electronic resources)
Formal methods for industrial critical systems13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(Electronic resources)
Algebraic informaticsthird international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /
by:
(Electronic resources)
Formal Methods for Components and Objects7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(Electronic resources)
Foundations and applications of security analysisJoint 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:
(Electronic resources)
Formal modeling and analysis of timed systems7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
by:
(Electronic resources)
Runtime verification9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(Electronic resources)
Teaching formal methodssecond international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(Electronic resources)
FM 2009formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /
by:
(Electronic resources)
Formal methodsfoundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers /
by:
(Electronic resources)
Rigorous methods for software construction and analysisessays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
(Electronic resources)
Formal methods in computer-aided designsecond international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings /
by:
(Electronic resources)
Applied formal methods - FM-Trends 98International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /
by:
(Electronic resources)
FM'99 - formal methodsWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.Volume I /
by:
(Electronic resources)
FM'99 - formal methodsWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.Volume II /
by:
(Electronic resources)
Formal methods for real-time and probabilistic systems5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /
by:
(Electronic resources)
Integrated formal methodssecond international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
by:
(Electronic resources)
Lectures on formal methods and performance analysisfirst EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
by:
(Electronic resources)
FME 2002formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /
by:
(Electronic resources)
Formal methods in computer-aided design4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings /
by:
(Electronic resources)
Formal techniques for networked and distributed systemsFORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
by:
(Electronic resources)
Formal techniques for networked and distributed systems - FORTE 200222nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /
by:
(Electronic resources)
Integrated formal methodsThird International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
by:
(Electronic resources)
Formal techniques for distributed systemsJjoint 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 /
by:
(Electronic resources)
Formal methods for quantitative aspects of programming languages10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
by:
(Electronic resources)
Tests and proofs4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(Electronic resources)
Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
(Electronic resources)
Formal aspects in security and trust6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers /
by:
(Electronic resources)
Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
(Electronic resources)
Web services and formal methods6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers /
by:
(Electronic resources)
Finite-state methods and natural language processing8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 20107th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings /
by:
(Electronic resources)
Computer performance engineering7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /
by:
(Electronic resources)
Integrated formal methods8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
(Electronic resources)
Formal methods for components and objects8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers /
by:
(Electronic resources)
Formal methods and software engineering12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings /
by:
(Electronic resources)
Runtime verificationFirst International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings /
by:
(Electronic resources)
Formal verification of object-oriented softwareinternational conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
by:
(Electronic resources)
Formal aspects of security and trust7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
(Electronic resources)
FORMS/FORMAT 2010formal methods for automation and safety in railway and automotive systems /
by:
(Electronic resources)
Formal methodsfoundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers /
by:
(Electronic resources)
Web services and formal methods7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /
by:
(Electronic resources)
Formal grammar14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers /
by:
(Electronic resources)
NASA formal methodsthird international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(Electronic resources)
Formal concept analysis9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings /
by:
(Electronic resources)
Formal techniques for distributed systemsjoint 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:
(Electronic resources)
Formal methods for eternal networked software systems11th 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:
(Electronic resources)
FM 2011formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(Electronic resources)
Tests and proofs5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(Electronic resources)
Formal development of a network-centric RTOSsoftware engineering for reliable embedded systems /
by:
(Electronic resources)
Formal ontology in information systemsproceedings of the sixth international conference (FOIS 2010) /
by:
(Electronic resources)
Formal modeling and analysis of timed systems9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
(Electronic resources)
Formal modelingactors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(Electronic resources)
Formal methods and software engineering13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
by:
(Electronic resources)
Formal methods, foundations and applications14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
(Electronic resources)
Computer performance engineering8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings /
by:
(Electronic resources)
System specification and design languagesselected contributions from FDL 2010 /
by:
(Electronic resources)
Formal aspects of component software7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Electronic resources)
Transactions on computational science XVspecial issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems /
by:
(Electronic resources)
NASA formal methods4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Electronic resources)
Theory and applications of formal argumentationfirst International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011 : revised selected papers /
by:
(Electronic resources)
Web services and formal methods8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers /
by:
(Electronic resources)
Fuzzy computational ontologies in contextsformal models of knowledge representation with membership degree and typicality of objects, and their applications /
by:
(Electronic resources)
Runtime verificationsecond International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Electronic resources)
Tests and proofs6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Formal aspects of security and trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
(Electronic resources)
Integrated formal methods9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(Electronic resources)
Formal techniques for distributed systemsJoint 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:
(Electronic resources)
Abstract state machines, Alloy, B, VDM, and Zthird International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(Electronic resources)
Formal methods for model-driven engineering12th 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:
(Electronic resources)
Descriptional complexity of formal systems14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
(Electronic resources)
Languages aliveessays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
(Electronic resources)
Formal verification of object-oriented softwareinternational conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
(Electronic resources)
Formal methods for industrial critical systems17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
(Electronic resources)
FM 2012formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(Electronic resources)
Formal methods: Foundations and applications15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation. Technologies for mastering change5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part I /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation. Applications and case studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part II /
by:
(Electronic resources)
Formal methods and software engineering14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /
by:
(Electronic resources)
Certified programs and proofssecond international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(Electronic resources)
Formal aspects of component software8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(Electronic resources)
Formal ontology in information systemsproceedings of the seventh International Conference (FOIS 2012) /
by:
(Electronic resources)
A pragmatic introduction to the finite element method for thermal and stress analysis :with the matlab toolkit SOFEA /
by:
(Language materials, printed)
Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Electronic resources)
Theory and applications of formal argumentationsecond International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers /
by:
(Electronic resources)
Software Engineering and Formal MethodsSEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /
by:
(Electronic resources)
Formal techniques for safety-critical systemssecond international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers /
by:
(Electronic resources)
NASA formal methods6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 : proceedings /
by:
(Electronic resources)
FM 2014Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings /
by:
(Electronic resources)
ABZ 2014the 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 /
by:
(Electronic resources)
Formal methods for executable software models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures /
by:
(Electronic resources)
Formal concept analysis12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
by:
(Electronic resources)
Formal aspects of component software10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
by:
(Electronic resources)
Web services and formal methods10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
by:
(Electronic resources)
Descriptional complexity of formal systems16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
(Electronic resources)
Formal grammar19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings /
by:
(Electronic resources)
Integrated formal methods11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(Language materials, printed)
Computer performance engineering11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(Language materials, printed)
Runtime verification5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validationspecialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part II /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validationtechnologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part I /
by:
(Language materials, printed)
Formal methods and software engineering16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2013 /
by:
(Electronic resources)
Formal methodsfoundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
(Electronic resources)
Software engineering and formal methodsSEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /
by:
(Electronic resources)
Formal aspects of component software11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
(Electronic resources)
Formal techniques for safety-critical systemsthird International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers /
by:
(Electronic resources)
Structured object-oriented formal language and method4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers /
by:
(Electronic resources)
NASA formal methods7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings /
by:
(Electronic resources)
Formal methods applied to complex systemsimplementation of the B Method /
by:
(Electronic resources)
Formal methods for multicore programming15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures /
by:
(Electronic resources)
FM 2015formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /
by:
(Electronic resources)
Formal concept analysis13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings /
by:
(Electronic resources)
Formal modeling and verification of cyber-physical systems1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
by:
(Electronic resources)
Descriptional complexity of formal systems17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(Electronic resources)
Formal Modeling and Analysis of Timed Systems13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(Electronic resources)
Computer performance engineering12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings /
by:
(Electronic resources)
Correct system designsymposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
(Electronic resources)
Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
by:
(Electronic resources)
Recent trends in algebraic development techniques22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Electronic resources)
Theory and applications of formal argumentationthird International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers /
by:
(Electronic resources)
Software engineering and formal methodsSEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2014 /
by:
(Electronic resources)
Formal aspects of component software12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
(Electronic resources)
Formal techniques for safety-critical systems4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
(Electronic resources)
Complete symbolic simulation of SystemC modelsefficient formal verification of finite non-terminating programs /
by:
(Electronic resources)
Formal methods: foundations and applications18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings /
by:
(Electronic resources)
Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Electronic resources)
Structured object-oriented formal language and method5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
(Electronic resources)
Integrated formal methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2015 /
by:
(Electronic resources)
NASA formal methods8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(Electronic resources)
Computer performance engineering13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings /
by:
(Electronic resources)
Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationfoundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationdiscussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part II /
by:
(Electronic resources)
Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
FM 2016formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(Electronic resources)
Formal methodsfoundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
(Electronic resources)
Formal techniques for safety-critical systems5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers /
by:
(Electronic resources)
Formal aspects of component software13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016 : revised selected papers /
by:
(Electronic resources)
Structured object-oriented formal language and method6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers /
by:
(Electronic resources)
Descriptional complexity of formal systems19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings /
by:
(Electronic resources)
Concise guide to formal methodstheory, fundamentals and industry applications /
by:
(Electronic resources)
Formal modeling and analysis of timed systems15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
(Electronic resources)
Computer performance engineering14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
by:
(Electronic resources)
Runtime verification17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
by:
(Electronic resources)
Formal aspects of component software14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings /
by:
(Electronic resources)
Formal methodsfoundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings /
by:
(Electronic resources)
Recent trends in algebraic development techniques23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers /
by:
(Electronic resources)
Designing reliable distributed systemsa formal methods approach based on executable modeling in Maude /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2016 /
by:
(Electronic resources)
Formal methods for safety and securitycase studies for aerospace applications /
by:
(Electronic resources)
Software engineering and formal methodsSEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers /
by:
(Electronic resources)
NASA formal methods10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings /
by:
(Electronic resources)
Theory and applications of formal argumentation4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers /
by:
(Electronic resources)
Structured object-oriented formal language and method7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers /
by:
(Electronic resources)
Formal methods22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings /
by:
(Electronic resources)
Integrated formal methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(Electronic resources)
Formal Aspects of Component Software15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings /
by:
(Electronic resources)
Symposium on real-time and hybrid systemsessays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
by:
(Electronic resources)
Formal methods for nonmonotonic and related logics.Vol II,Theory revision, inheritance, and various abstract properties
by:
(Electronic resources)
Formal methods for nonmonotonic and related logics.Vol I:,Preference and size
by:
(Electronic resources)
Formal methods and software engineering20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part I /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part II /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part III /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part IV /
by:
(Electronic resources)
Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016 : proceedings /
by:
(Electronic resources)
Formal techniques for safety-critical systems6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers /
by:
(Electronic resources)
Formal verification of floating-point hardware designa mathematical approach /
by:
(Electronic resources)
Formal concept analysis14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings /
by:
(Electronic resources)
Integrated formal methods13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings /
by:
(Electronic resources)
ModelEd, testEd, trustEdessays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(Electronic resources)
NASA formal methods9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings /
by:
(Electronic resources)
NASA formal methods11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings /
by:
(Electronic resources)
Recent trends in algebraic development techniques24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers /
by:
(Electronic resources)
Formal methods - the next 30 yearsthird World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(Electronic resources)
Formal methods teachingthird International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings /
by:
(Electronic resources)
Runtime verification19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(Electronic resources)
From software engineering to formal methods and tools, and backessays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
(Electronic resources)
Formal methodsfoundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings /
by:
(Electronic resources)
It's all about coordinationessays to celebrate the lifelong scientific achievements of Farhad Arbab /
by:
(Electronic resources)
Software engineering and formal methods16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
by:
(Electronic resources)
Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings /
by:
(Electronic resources)
Formal techniques for safety-critical systems7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019 : revised selected papers /
by:
(Electronic resources)
Formal aspects of component software16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings /
by:
(Electronic resources)
Structured object-oriented formal language and method9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2018 /
by:
(Electronic resources)
Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part II /
by:
(Electronic resources)
NASA formal methods12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings /
by:
(Electronic resources)
Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part I /
by:
(Electronic resources)
Formal methods for industrial critical systems25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings /
by:
(Electronic resources)
Software engineering and formal methodsSEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers /
by:
(Electronic resources)
Software engineering and formal methods18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020 : proceedings /
by:
(Electronic resources)
Runtime verification20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019 : proceedings /
by:
(Electronic resources)
Formal concept analysis15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings /
by:
(Electronic resources)
Structured object-oriented formal language and method8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationapplications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part III /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationengineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part II /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationverification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part I /
by:
(Electronic resources)
Descriptional complexity of formal systems22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020 : proceedings /
by:
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings /
by:
(Electronic resources)
Integrated formal methods16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings /
by:
(Electronic resources)
Formal methodsfoundations and applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings /
by:
(Electronic resources)
Software engineering and formal methodsSEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020 : revised selected papers /
by:
(Electronic resources)
Formal methods in architectureproceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 /
by:
(Electronic resources)
Recent trends in algebraic development techniques25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers /
by:
(Electronic resources)
NASA formal methods13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /
by:
(Electronic resources)
Formal methods - fun for everybodyfirst International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers /
by:
(Electronic resources)
From data to models and back9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 : revised selected papers /
by:
(Electronic resources)
Structured object-oriented formal language and method10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021 : revised selected papers /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationtools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part IV /
by:
(Electronic resources)
Formal modeling and analysis of timed systems19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
by:
(Electronic resources)
Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings /
by:
(Electronic resources)
Formal aspects of component software17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings /
by:
(Electronic resources)
Formal methods24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings /
by:
(Electronic resources)
Formal methods teaching4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings /
by:
(Electronic resources)
Formal methods: foundations and applications24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings /
by:
(Electronic resources)
Model checking, synthesis, and learningessays dedicated to Bengt Jonsson on the occasion of his 60th birthday /
by:
(Electronic resources)
Software engineering and formal methods19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings /
by:
(Electronic resources)
Implicit and explicit semantics integration in proof-based developments of discrete systemscommunications of NII Shonan Meetings /
by:
(Electronic resources)
Formal methods in outer spaceessays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
(Electronic resources)
Formal concept analysis16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings /
by:
(Electronic resources)
Formal analysis of future energy systems using interactive theorem proving
by:
(Electronic resources)
NASA formal methods14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings /
by:
(Electronic resources)
Integrated formal methods17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings /
by:
(Electronic resources)
Formal verification of floating-point hardware designa mathematical approach /
by:
(Electronic resources)
Formal modeling and analysis of timed systems20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings /
by:
(Electronic resources)
A journey from process algebra via timed automata to model learningessays dedicated to Frits Vaandrager on the occasion of his 60th birthday /
by:
(Electronic resources)
Software engineering and formal methods20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings /
by:
(Electronic resources)
Runtime verification22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings /
by:
(Electronic resources)
Software engineering and formal methodsSEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers /
by:
(Electronic resources)
Formal methods and software engineering23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationsoftware engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part II /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationadaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part III /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationpractice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part IV /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validationverification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part I /
by:
(Electronic resources)
Formal aspects of component software18th International Conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings /
by:
(Electronic resources)
Formal methods: foundations and applications25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /
by:
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings /
by:
(Electronic resources)
Software verification and formal methods for ML-enabled autonomous systems5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings /
by:
(Electronic resources)
NASA formal methods15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings /
by:
(Electronic resources)
Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /
by:
(Electronic resources)
Formal methods25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings /
by:
(Electronic resources)
Structured object-oriented formal language and method11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers /
by:
(Electronic resources)
Formal methods for industrial critical systems27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings /
by:
(Electronic resources)
Applicable formal methods for safe industrial productsessays dedicated to Jan Peleska on the occasion of his 65th birthday /
by:
(Electronic resources)
Formal modeling and analysis of timed systems21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
by:
(Electronic resources)
Formal methods in architectureproceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022 /
by:
(Electronic resources)
Formal methods for industrial critical systems28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
(Electronic resources)
Runtime verification23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
(Electronic resources)
Formal methods for an informal worldICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures /
by:
(Electronic resources)
Descriptional complexity of formal systems25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings /
by:
(Electronic resources)
Formal concept analysis17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(Electronic resources)
NASA formal methods16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024 : proceedings /
by:
(Electronic resources)
Integrated formal methods18th International Conference, iFM 2023, Leiden, the Netherlands, November 13-15, 2023 : proceedings /
by:
(Electronic resources)
Formal methodsfoundations and applications : 26th Brazilian symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023 : proceedings /
by:
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects