Formal methods (Computer science) - Congresses.
概要
作品: | 181 作品在 119 項出版品 119 種語言 |
---|
書目資訊
Integrated formal methods = 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings /
by:
(書目-語言資料,印刷品)
Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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 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 modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers /
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:
(書目-語言資料,印刷品)
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 methods for components and objects = second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers /
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 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:
(書目-語言資料,印刷品)
Formal methods for real-time and probabilistic systems = 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods = second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
by:
(書目-語言資料,印刷品)
FME 2002 = formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods in computer-aided design = 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : 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:
(書目-語言資料,印刷品)
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:
(書目-電子資源)
Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
by:
(書目-電子資源)
NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings /
by:
(書目-電子資源)
Formal concept analysis = 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings /
by:
(書目-電子資源)
Formal methods - the next 30 years = third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(書目-電子資源)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2018 /
by:
(書目-電子資源)
Runtime verification = 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(書目-電子資源)
NASA formal methods = 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /
by:
(書目-電子資源)
Runtime verification = 21st International Conference, RV 2021, virtual event, October 11-14, 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:
(書目-電子資源)
Integrated formal methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : 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:
(書目-電子資源)
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:
(書目-電子資源)
Formal methods in outer space = essays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
(書目-電子資源)
Formal methods = 25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings /
by:
(書目-電子資源)
Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(書目-電子資源)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods = Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(書目-電子資源)
Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
by:
(書目-電子資源)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2016 /
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:
(書目-電子資源)
NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings /
by:
(書目-電子資源)
Formal concept analysis = 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings /
by:
(書目-電子資源)
Runtime verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings /
by:
(書目-電子資源)
Formal methods = FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.. Part I /
by:
(書目-電子資源)
Runtime verification = 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings /
by:
(書目-電子資源)
Formal methods teaching = 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /
by:
(書目-電子資源)
NASA formal methods = 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings /
by:
(書目-電子資源)
更多
較少的
主題