Formal methods (Computer science)

Web Services and Formal MethodsThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings / by: (書目-電子資源)

Formal Modeling and Analysis of Timed Systems (vol. # 4202)4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / by: (書目-電子資源)

Formal Techniques for Networked and Distributed Systems - FORTE 200626th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / by: (書目-電子資源)

Formal Methods and Software Engineering (vol. # 4260)8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / by: (書目-電子資源)

Rigorous Engineering of Fault-Tolerant Systems by: (書目-電子資源)

Leveraging Applications of Formal MethodsFirst International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / by: (書目-電子資源)

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: (書目-電子資源)

Formal Methods in Software and Systems ModelingEssays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by: (書目-電子資源)

Formal Approaches to Software Testing4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / by: (書目-電子資源)

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: (書目-電子資源)

FM 2005: Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: (書目-電子資源)

Formal Techniques for Computer Systems and Business ProcessesEuropean 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: (書目-電子資源)

Formal Methods for Components and Objects :Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures by: (書目-電子資源)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 :25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings by: (書目-電子資源)

Formal Methods and Software Engineering :7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings by: (書目-電子資源)

Integrated Formal Methods :5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings by: (書目-電子資源)

Formal Modeling and Analysis of Timed Systems :Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (書目-電子資源)

Secure Transaction Protocol AnalysisModels and Applications / by: (書目-電子資源)

Design patterns formalization techniques by: (書目-電子資源)

Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for components and objects6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers / by: (書目-語言資料,印刷品)

Integrated formal methods7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (書目-電子資源)

FME 2003formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / by: (書目-電子資源)

Formal aspects of securityfirst international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / by: (書目-電子資源)

Formal methods and software engineering5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / by: (書目-電子資源)

Formal methods for components and objectsfirst international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / by: (書目-電子資源)

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: (書目-電子資源)

Formal techniques for networked and distributed systems, FORTE 200323rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings / by: (書目-電子資源)

Integrated formal methods4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings / by: (書目-電子資源)

Applying formal methodstesting, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Formal methods and software engineering6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / by: (書目-電子資源)

Formal methods for components and objectssecond international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures / by: (書目-電子資源)

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: (書目-電子資源)

Formal methods in computer-aided design5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systemsfirst international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers / by: (書目-電子資源)

Formal techniques for networked and distributed systems - FORTE 200424th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / by: (書目-電子資源)

Formal techniques, modelling and analysis of timed and fault-tolerant systemsjoint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / by: (書目-電子資源)

From object-orientation to formal methodsessays in memory of Ole-Johan Dahl / by: (書目-電子資源)

Web services and formal methods5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (書目-電子資源)

Formal aspects in security and trust5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Computer performance engineering6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings / by: (書目-電子資源)

Language engineering and rigorous software developmentInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures / by: (書目-電子資源)

Formal methods for industrial critical systems13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (書目-電子資源)

Algebraic informaticsthird international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (書目-電子資源)

Formal Methods for Components and Objects7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (書目-電子資源)

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: (書目-電子資源)

Formal modeling and analysis of timed systems7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (書目-電子資源)

Runtime verification9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (書目-電子資源)

Teaching formal methodssecond international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / by: (書目-電子資源)

FM 2009formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (書目-電子資源)

Formal methods and software engineering11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (書目-電子資源)

Formal methodsfoundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / by: (書目-電子資源)

Rigorous methods for software construction and analysisessays dedicated to Egon Borger on the occasion of his 60th birthday / by: (書目-電子資源)

Formal hardware verificationmethods and systems in comparison / by: (書目-電子資源)

Formal methods in computer-aided designsecond international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / by: (書目-電子資源)

Applied formal methods - FM-Trends 98International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / by: (書目-電子資源)

FM'99 - formal methodsWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.Volume I / by: (書目-電子資源)

FM'99 - formal methodsWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.Volume II / by: (書目-電子資源)

Formal methods for real-time and probabilistic systems5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / by: (書目-電子資源)

Challenges for action theories by: (書目-電子資源)

Integrated formal methodssecond international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

FME 2002formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / by: (書目-電子資源)

Formal methods and software engineering4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / by: (書目-電子資源)

Formal methods in computer-aided design4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Formal techniques for networked and distributed systems - FORTE 200222nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / by: (書目-電子資源)

Integrated formal methodsThird International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Tests and proofs4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-電子資源)

Formal methodsstate of the art and new directions / by: (書目-電子資源)

Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (書目-電子資源)

Formal aspects in security and trust6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers / by: (書目-電子資源)

Scalable techniques for formal verification by: (書目-電子資源)

Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday / by: (書目-電子資源)

Web services and formal methods6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers / by: (書目-電子資源)

Finite-state methods and natural language processing8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 20107th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings / by: (書目-電子資源)

Computer performance engineering7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / by: (書目-電子資源)

Integrated formal methods8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: (書目-電子資源)

Formal methods for components and objects8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers / by: (書目-電子資源)

Formal methods and software engineering12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings / by: (書目-電子資源)

Runtime verificationFirst International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings / by: (書目-電子資源)

Formal verification of object-oriented softwareinternational conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: (書目-電子資源)

Formal aspects of security and trust7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers / by: (書目-電子資源)

FORMS/FORMAT 2010formal methods for automation and safety in railway and automotive systems / by: (書目-電子資源)

Formal methodsfoundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / by: (書目-電子資源)

Web services and formal methods7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers / by: (書目-電子資源)

Formal grammar14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers / by: (書目-電子資源)

Specification of software systems by: (書目-電子資源)

NASA formal methodsthird international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (書目-電子資源)

Formal concept analysis9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

FM 2011formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings / by: (書目-電子資源)

Tests and proofs5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (書目-電子資源)

Descriptional complexity of formal systems13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (書目-電子資源)

Formal development of a network-centric RTOSsoftware engineering for reliable embedded systems / by: (書目-電子資源)

Formal ontology in information systemsproceedings of the sixth international conference (FOIS 2010) / by: (書目-電子資源)

Formal modeling and analysis of timed systems9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / by: (書目-電子資源)

Software engineering and formal methods9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / by: (書目-電子資源)

Formal modelingactors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by: (書目-電子資源)

Formal methods and software engineering13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: (書目-電子資源)

Formal methods, foundations and applications14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / by: (書目-電子資源)

Computer performance engineering8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings / by: (書目-電子資源)

System specification and design languagesselected contributions from FDL 2010 / by: (書目-電子資源)

Formal aspects of component software7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (書目-電子資源)

Foundations of algebraic specification and formal software development by: (書目-電子資源)

Transactions on computational science XVspecial issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / by: (書目-電子資源)

NASA formal methods4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (書目-電子資源)

Theory and applications of formal argumentationfirst International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011 : revised selected papers / by: (書目-電子資源)

Web services and formal methods8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers / by: (書目-電子資源)

Fuzzy computational ontologies in contextsformal models of knowledge representation with membership degree and typicality of objects, and their applications / by: (書目-電子資源)

The correctness-by-construction approach to programming by: (書目-電子資源)

Runtime verificationsecond International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (書目-電子資源)

Tests and proofs6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Formal aspects of security and trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers / by: (書目-電子資源)

Integrated formal methods9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Abstract state machines, Alloy, B, VDM, and Zthird International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Descriptional complexity of formal systems14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings / by: (書目-電子資源)

Languages aliveessays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (書目-電子資源)

Formal verification of object-oriented softwareinternational conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: (書目-電子資源)

Formal methods for industrial critical systems17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / by: (書目-電子資源)

FM 2012formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / by: (書目-電子資源)

Constructing correct software by: (書目-電子資源)

Formal methods: Foundations and applications15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (書目-電子資源)

Software engineering and formal methods10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Formal methods and software engineering14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / by: (書目-電子資源)

Certified programs and proofssecond international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / by: (書目-電子資源)

Formal methods and software engineering10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (書目-電子資源)

Formal aspects of component software8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (書目-電子資源)

Teamwork in multi-agent systemsa formal approach / by: (書目-電子資源)

Formal ontology in information systemsproceedings of the seventh International Conference (FOIS 2012) / by: (書目-電子資源)

A pragmatic introduction to the finite element method for thermal and stress analysis :with the matlab toolkit SOFEA / by: (書目-語言資料,印刷品)

Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (書目-電子資源)

Theory and applications of formal argumentationsecond International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Formal techniques for safety-critical systemssecond international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers / by: (書目-電子資源)

NASA formal methods6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 : proceedings / by: (書目-電子資源)

FM 2014Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Formal techniques for distributed objects, components, and systems34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / by: (書目-電子資源)

Formal concept analysis12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings / by: (書目-電子資源)

Formal aspects of component software10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: (書目-電子資源)

Web services and formal methods10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers / by: (書目-電子資源)

Descriptional complexity of formal systems16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings / by: (書目-電子資源)

Formal grammar19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings / by: (書目-電子資源)

Integrated formal methods11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings / by: (書目-電子資源)

Software engineering and formal methods12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-語言資料,印刷品)

Computer performance engineering11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Formal methods and software engineering16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings / by: (書目-電子資源)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2013 / by: (書目-電子資源)

Formal methodsfoundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings / by: (書目-電子資源)

Software engineering and formal methodsSEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers / by: (書目-電子資源)

Formal aspects of component software11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers / by: (書目-電子資源)

Formal techniques for safety-critical systemsthird International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers / by: (書目-電子資源)

Structured object-oriented formal language and method4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers / by: (書目-電子資源)

NASA formal methods7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systemsa survey of applications / by: (書目-電子資源)

Formal methods applied to complex systemsimplementation of the B Method / by: (書目-電子資源)

Formal methods applied to industrial complex systems by: (書目-電子資源)

Industrial used of formal methodformal verification / by: (書目-電子資源)

Formal methodsindustrial use from model to the code / by: (書目-電子資源)

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: (書目-電子資源)

Formal techniques for distributed objects, components, and systems35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015 : proceedings / by: (書目-電子資源)

FM 2015formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings / by: (書目-電子資源)

Formal concept analysis13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Descriptional complexity of formal systems17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings / by: (書目-電子資源)

Software engineering and formal methods13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: (書目-電子資源)

Formal Modeling and Analysis of Timed Systems13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / by: (書目-電子資源)

Computer performance engineering12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings / by: (書目-電子資源)

Correct system designsymposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / by: (書目-電子資源)

Runtime verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (書目-電子資源)

Formal methods and software engineering17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (書目-電子資源)

Theory and applications of formal argumentationthird International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers / by: (書目-電子資源)

Software engineering and formal methodsSEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers / by: (書目-電子資源)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2014 / by: (書目-電子資源)

Formal aspects of component software12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers / by: (書目-電子資源)

Formal techniques for safety-critical systems4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (書目-電子資源)

Complete symbolic simulation of SystemC modelsefficient formal verification of finite non-terminating programs / by: (書目-電子資源)

Formal methods: foundations and applications18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings / by: (書目-電子資源)

Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (書目-電子資源)

Structured object-oriented formal language and method5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers / by: (書目-電子資源)

Web services, formal methods, and behavioral types11th 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: (書目-電子資源)

Integrated formal methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects components, and systems36th 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: (書目-電子資源)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2015 / by: (書目-電子資源)

Formal methods for the quantitative evaluation of collective adaptive systems16th 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: (書目-電子資源)

NASA formal methods8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: (書目-電子資源)

Software engineering and formal methods14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings / by: (書目-電子資源)

Critical systemsformal 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: (書目-電子資源)

Computer performance engineering13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings / by: (書目-電子資源)

Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (書目-電子資源)

Subjective logica formalism for reasoning under uncertainty / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (書目-電子資源)

FM 2016formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / by: (書目-電子資源)

Formal methodsfoundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification, and validation6th 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: (書目-電子資源)

Formal techniques for safety-critical systems5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / by: (書目-電子資源)

The handbook of formal methods in human-computer interaction by: (書目-電子資源)

Formal aspects of component software13th International Conference, FACS 2016, Besancon, France, October 19-21, 2016 : revised selected papers / by: (書目-電子資源)

Structured object-oriented formal language and method6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: (書目-電子資源)

Descriptional complexity of formal systems19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings / by: (書目-電子資源)

Concise guide to formal methodstheory, fundamentals and industry applications / by: (書目-電子資源)

Formal modeling and analysis of timed systems15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (書目-電子資源)

Software engineering and formal methods15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (書目-電子資源)

Computer performance engineering14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings / by: (書目-電子資源)

Critical systemsformal 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: (書目-電子資源)

Runtime verification17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings / by: (書目-電子資源)

Formal aspects of component software14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings / by: (書目-電子資源)

Formal methods and software engineering19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings / by: (書目-電子資源)

Formal concept analysis of social networks by: (書目-電子資源)

Formal methodsfoundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (書目-電子資源)

Designing reliable distributed systemsa formal methods approach based on executable modeling in Maude / by: (書目-電子資源)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2016 / by: (書目-電子資源)

Formal methods for safety and securitycase studies for aerospace applications / by: (書目-電子資源)

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: (書目-電子資源)

NASA formal methods10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings / by: (書目-電子資源)

Theory and applications of formal argumentation4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers / by: (書目-電子資源)

Structured object-oriented formal language and method7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers / by: (書目-電子資源)

Formal Techniques for Distributed Objects, Components, and Systems38th 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: (書目-電子資源)

Formal methods22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings / by: (書目-電子資源)

Descriptional complexity of formal systems20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings / by: (書目-電子資源)

Integrated formal methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (書目-電子資源)

Formal Aspects of Component Software15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings / by: (書目-電子資源)

Symposium on real-time and hybrid systemsessays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: (書目-電子資源)

Formal methods for nonmonotonic and related logics.Vol II,Theory revision, inheritance, and various abstract properties by: (書目-電子資源)

Formal methods for nonmonotonic and related logics.Vol I:,Preference and size by: (書目-電子資源)

Formal methods and software engineering20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part I / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part II / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part III / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part IV / by: (書目-電子資源)

Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings / by: (書目-電子資源)

Descriptional complexity of formal systems18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016 : proceedings / by: (書目-電子資源)

Formal techniques for safety-critical systems6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers / by: (書目-電子資源)

Formal verification of floating-point hardware designa mathematical approach / by: (書目-電子資源)

Formal concept analysis14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems37th 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: (書目-電子資源)

Integrated formal methods13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (書目-電子資源)

ModelEd, testEd, trustEdessays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: (書目-電子資源)

NASA formal methods9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / by: (書目-電子資源)

NASA formal methods11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems39th 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: (書目-電子資源)

Recent trends in algebraic development techniques24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers / by: (書目-電子資源)

Formal methodsan appetizer / by: (書目-電子資源)

Formal methods - the next 30 yearsthird World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Formal methods and software engineering21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings / by: (書目-電子資源)

Runtime verification19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings / by: (書目-電子資源)

From software engineering to formal methods and tools, and backessays dedicated to Stefania Gnesi on the occasion of her 65th Birthday / by: (書目-電子資源)

Formal methodsfoundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018 : proceedings / by: (書目-電子資源)

It's all about coordinationessays to celebrate the lifelong scientific achievements of Farhad Arbab / by: (書目-電子資源)

Software engineering and formal methods16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / by: (書目-電子資源)

Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings / by: (書目-電子資源)

Formal techniques for safety-critical systems7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019 : revised selected papers / by: (書目-電子資源)

Formal aspects of component software16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings / by: (書目-電子資源)

Structured object-oriented formal language and method9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers / by: (書目-電子資源)

Languages, design methods, and tools for electronic system designselected contributions from FDL 2018 / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020 : proceedings / by: (書目-電子資源)

Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part II / by: (書目-電子資源)

NASA formal methods12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings / by: (書目-電子資源)

Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part I / by: (書目-電子資源)

Formal methods for industrial critical systems25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings / by: (書目-電子資源)

Software engineering and formal methodsSEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: (書目-電子資源)

Software engineering and formal methods18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Runtime verification20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings / by: (書目-電子資源)

Descriptional complexity of formal systems21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019 : proceedings / by: (書目-電子資源)

Formal concept analysis15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings / by: (書目-電子資源)

Software engineering and formal methods17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / by: (書目-電子資源)

Structured object-oriented formal language and method8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Descriptional complexity of formal systems22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020 : proceedings / by: (書目-電子資源)

Dependable software engineeringtheories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings / by: (書目-電子資源)

Integrated formal methods16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings / by: (書目-電子資源)

Formal methodsfoundations and applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings / by: (書目-電子資源)

Software engineering and formal methodsSEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020 : revised selected papers / by: (書目-電子資源)

Formal methods in architectureproceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / by: (書目-電子資源)

Recent trends in algebraic development techniques25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers / by: (書目-電子資源)

NASA formal methods13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings / by: (書目-電子資源)

Formal methods - fun for everybodyfirst International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers / by: (書目-電子資源)

From data to models and back9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 : revised selected papers / by: (書目-電子資源)

Structured object-oriented formal language and method10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021 : revised selected papers / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Formal modeling and analysis of timed systems19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (書目-電子資源)

Runtime verification21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Descriptional complexity of formal systems23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings / by: (書目-電子資源)

Composing model-based analysis tools by: (書目-電子資源)

Formal aspects of component software17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings / by: (書目-電子資源)

Formal methods24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings / by: (書目-電子資源)

Formal methods teaching4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings / by: (書目-電子資源)

Formal methods: foundations and applications24th Brazilian Symposium, SBMF 2021, virtual event, December 6-10, 2021 : proceedings / by: (書目-電子資源)

Model checking, synthesis, and learningessays dedicated to Bengt Jonsson on the occasion of his 60th birthday / by: (書目-電子資源)

Software engineering and formal methods19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings / by: (書目-電子資源)

Implicit and explicit semantics integration in proof-based developments of discrete systemscommunications of NII Shonan Meetings / by: (書目-電子資源)

Formal methods in outer spaceessays dedicated to Klaus Havelund on the occasion of his 65th birthday / by: (書目-電子資源)

Formal concept analysis16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / by: (書目-電子資源)

Formal analysis of future energy systems using interactive theorem proving by: (書目-電子資源)

NASA formal methods14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings / by: (書目-電子資源)

Integrated formal methods17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings / by: (書目-電子資源)

Formal verification of floating-point hardware designa mathematical approach / by: (書目-電子資源)

Complex data analytics with formal concept analysis by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings / by: (書目-電子資源)

A journey from process algebra via timed automata to model learningessays dedicated to Frits Vaandrager on the occasion of his 60th birthday / by: (書目-電子資源)

Software engineering and formal methods20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022 : proceedings / by: (書目-電子資源)

Runtime verification22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings / by: (書目-電子資源)

Software engineering and formal methodsSEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10, 2021 : revised selected papers / by: (書目-電子資源)

Formal methods and software engineering23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationsoftware engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part II / by: (書目-電子資源)

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: (書目-電子資源)

Leveraging applications of formal methods, verification and validationpractice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part IV / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationverification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part I / by: (書目-電子資源)

Formal aspects of component software18th International Conference, FACS 2022, virtual event, November 10-11, 2022 : proceedings / by: (書目-電子資源)

Formal methods: foundations and applications25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings / by: (書目-電子資源)

Dependable software engineeringtheories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Formal analysis for natural language processinga handbook / by: (書目-電子資源)

NASA formal methods15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings / by: (書目-電子資源)

Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings / by: (書目-電子資源)

Formal methods25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings / by: (書目-電子資源)

Structured object-oriented formal language and method11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: (書目-電子資源)

Formal methods for industrial critical systems27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (書目-電子資源)

Descriptional complexity of formal systems24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems43rd 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: (書目-電子資源)

Applicable formal methods for safe industrial productsessays dedicated to Jan Peleska on the occasion of his 65th birthday / by: (書目-電子資源)

Formal modeling and analysis of timed systems21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings / by: (書目-電子資源)

Formal methods in architectureproceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruna 2022 / by: (書目-電子資源)

Formal methods for industrial critical systems28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (書目-電子資源)

Runtime verification23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / by: (書目-電子資源)

Software engineering and formal methods21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (書目-電子資源)

Formal methods for an informal worldICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures / by: (書目-電子資源)

Descriptional complexity of formal systems25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings / by: (書目-電子資源)

Formal concept analysis17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems44th IFIP WG 6.1 International Conference, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024 : proceedings / by: (書目-電子資源)

NASA formal methods16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024 : proceedings / by: (書目-電子資源)

Integrated formal methods18th International Conference, iFM 2023, Leiden, the Netherlands, November 13-15, 2023 : proceedings / by: (書目-電子資源)

Formal methodsfoundations and applications : 26th Brazilian symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023 : proceedings / by: (書目-電子資源)

Dependable software engineeringtheories, tools, and applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023 : proceedings / by: (書目-電子資源)

Theories of programming and formal methodsessays dedicated to Jifeng He on the occasion of his 80th birthday / by: (書目-電子資源)

Formal aspects of component software19th International Conference, FACS 2023, virtual event, October 19-20, 2023 : revised selected papers / by: (書目-電子資源)

Formal concept analysismathematical foundations / by: (書目-電子資源)

Formal methods for industrial critical systems29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings / by: (書目-電子資源)

Symbolic computation in software science10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings / by: (書目-電子資源)

The application of formal methodsessays dedicated to Jim Woodcock on the occasion of his retirement / by: (書目-電子資源)

The practice of formal methodsessays in honour of Cliff Jones.Part II / by: (書目-電子資源)

The practice of formal methodsessays in honour of Cliff Jones.Part I / by: (書目-電子資源)

Formal methods teaching6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings / by: (書目-電子資源)

Formal aspects of component software20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024 : proceedings / by: (書目-電子資源)

Formal methods and software engineering25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024 : proceedings / by: (書目-電子資源)

Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part I / by: (書目-電子資源)

Formal methods26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings.Part II / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationREoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part I / by: (書目-電子資源)

Runtime verification24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings / by: (書目-電子資源)

Real time and suchessays dedicated to Wang Yi to celebrate his scientific career / by: (書目-電子資源)

The combined power of research, education, and disseminationessays dedicated to Tiziana Margaria on the occasion of her 60th birthday / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationsoftware engineering methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part IV / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationrigorous engineering of collective adaptive systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part II / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationapplication areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part V / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validationspecification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part III / by: (書目-電子資源)

TOOLympics challenge 2023updates, results, successes of the formal-methods competitions / by: (書目-電子資源)

Principles of verificationcycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.Part II / by: (書目-電子資源)

Principles of verificationcycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.Part I / by: (書目-電子資源)

Integrated formal methods19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024 : proceedings / by: (書目-電子資源)

Principles of verification: cycling the probabilistic landscapeessays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.Part III / by: (書目-電子資源)

Dependable software engineeringtheories, tools, and applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024 : proceedings / by: (書目-電子資源)

Software engineering and formal methods22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 : proceedings / by: (書目-電子資源)

Formal methodsfoundations and applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024 : proceedings / by: (書目-電子資源)

Restarting automataextensions and generalizations / by: (書目-電子資源)

Rebeca for actor analysis in actionessays dedicated to Marjan Sirjani on the occasion of her 60th birthda / by: (書目-電子資源)

Versatile hardware analysis techniquesfrom waveform-based analysis to formal verification / by: (書目-電子資源)

Nasa formal methods17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems45th IFIP WG 6.1 International Conference, FORTE 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings / by: (書目-電子資源)

Descriptional complexity of formal systems26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025 : proceedings / by: (書目-電子資源)