Formal methods (Computer science) - Congresses.

Formal Techniques for Computer Systems and Business Processes = European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings / by: (書目-語言資料,印刷品)

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

Countering Counterfeit Trade = Illicit Market Insights, Best-Practice Strategies, and Management Toolbox / by: (書目-語言資料,印刷品)

Formal techniques for networked and distributed systems--FORTE 2008 = 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures/ by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / by: (書目-語言資料,印刷品)

Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings / by: (書目-語言資料,印刷品)

Formal methods and stochastic models for performance evaluation : = Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings / by: (書目-語言資料,印刷品)

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

Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings / by: (書目-語言資料,印刷品)

FME 2003 = formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / by: (書目-語言資料,印刷品)

Formal aspects of security = first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for components and objects = first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / by: (書目-語言資料,印刷品)

Formal methods for software architectures = Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures / by: (書目-語言資料,印刷品)

Formal techniques for networked and distributed systems, FORTE 2003 = 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods = second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / by: (書目-語言資料,印刷品)

Lectures on formal methods and performance analysis = first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures/ by: (書目-語言資料,印刷品)

FME 2002 = formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / by: (書目-語言資料,印刷品)

Formal methods in computer-aided design = 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques for networked and distributed systems - FORTE 2002 = 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques for networked and distributed systems = FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea/ by: (書目-語言資料,印刷品)

Integrated formal methods = Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques for distributed systems = Jjoint 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 languages = 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / by: (書目-語言資料,印刷品)

Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-語言資料,印刷品)

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

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

Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II / by: (書目-電子資源)

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

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

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

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (書目-電子資源)

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

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

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

Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (書目-電子資源)

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

Software engineering and formal methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

Formal techniques for distributed objects, components, and systems = 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings / by: (書目-電子資源)

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

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

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

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

Formal methods teaching = third 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: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Leveraging applications of formal methods, verification and validation = tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part IV / by: (書目-電子資源)

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

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

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

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

Formal techniques for distributed objects, components, and systems = 41st 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 validation = applications : 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 validation = engineering 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 validation = verification 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 systems = 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Dependable software engineering = theories, 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 systems = 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (書目-語言資料,印刷品)

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

Formal techniques for distributed objects, components, and systems = 42nd 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 methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (書目-電子資源)

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

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

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

Formal techniques for networked and distributed systems = FORTE 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 Aspects in Security and Trust = IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (書目-語言資料,印刷品)

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

Formal methods and stochastic models for performance evaluation : = Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods = 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings / by: (書目-語言資料,印刷品)

Applying formal methods = testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / by: (書目-語言資料,印刷品)

Formal approaches to software testing = Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers/ by: (書目-語言資料,印刷品)

Formal methods and software engineering = 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for components and objects = second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures / by: (書目-語言資料,印刷品)

Formal methods for the design of real-time systems = International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / by: (書目-語言資料,印刷品)

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

Formal techniques for networked and distributed systems - FORTE 2004 = 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers / by: (書目-語言資料,印刷品)

Formal techniques, modelling and analysis of timed and fault-tolerant systems = joint 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: (書目-語言資料,印刷品)

Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (書目-語言資料,印刷品)

Formal aspects in security and trust = 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers / by: (書目-語言資料,印刷品)

Formal methods for web services = 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures/ by: (書目-語言資料,印刷品)

Formal methods in computer-aided design = second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / by: (書目-語言資料,印刷品)

Applied formal methods - FM-Trends 98 = International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / by: (書目-語言資料,印刷品)

FM'99 - formal methods = World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.. Volume II / by: (書目-語言資料,印刷品)

FM'99 - formal methods = World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.. Volume I / by: (書目-語言資料,印刷品)

Formal methods for real-time and probabilistic systems = 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / by: (書目-語言資料,印刷品)

Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (書目-語言資料,印刷品)

Formal aspects in security and trust = 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers / by: (書目-語言資料,印刷品)

Critical systems = formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings / by: (書目-電子資源)

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

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

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

Formal techniques for distributed objects, components, and systems = 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

Leveraging applications of formal methods, verification and validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

Formal techniques for distributed objects, components, and systems = 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings / by: (書目-電子資源)

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

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