Formal methods (Computer science)
概要
作品: | 250 作品在 173 項出版品 173 種語言 |
---|
書目資訊
Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for an informal world = ICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Applicable formal methods for safe industrial products = essays dedicated to Jan Peleska on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Dependable software engineering = theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods : = 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
by:
(書目-語言資料,印刷品)
Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
by:
(書目-語言資料,印刷品)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
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:
(書目-語言資料,印刷品)
Computer performance engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods and testing = an outcome of the FORTEST network : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal aspects of security and trust = 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems /
by:
(書目-語言資料,印刷品)
Countering Counterfeit Trade = Illicit Market Insights, Best-Practice Strategies, and Management Toolbox /
by:
(書目-語言資料,印刷品)
Web services and formal methods = 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
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:
(書目-語言資料,印刷品)
Practical UML statecharts in C/C++ = event-driven programming for embedded systems /
by:
(書目-語言資料,印刷品)
Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(書目-語言資料,印刷品)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures /
by:
(書目-語言資料,印刷品)
Formal ontology in information systems = proceedings of the sixth international conference (FOIS 2010) /
by:
(書目-語言資料,印刷品)
Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(書目-語言資料,印刷品)
Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal development of a network-centric RTOS = software engineering for reliable embedded systems /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of formal argumentation = third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Web services and formal methods = 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods: foundations and applications = 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods for components and objects = 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures /
by:
(書目-語言資料,印刷品)
Computer performance engineering = 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal aspects of security and trust = 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Computer performance engineering = 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
System specification and design languages = selected contributions from FDL 2010 /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Transactions on computational science XV = special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems /
by:
(書目-語言資料,印刷品)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of formal argumentation = first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Web services and formal methods = 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fuzzy computational ontologies in contexts = formal models of knowledge representation with membership degree and typicality of objects, and their applications /
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:
(書目-語言資料,印刷品)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects in security and trust = 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
(書目-語言資料,印刷品)
Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
(書目-語言資料,印刷品)
Formal ontology in information systems = proceedings of the seventh International Conference (FOIS 2012) /
by:
(書目-語言資料,印刷品)
Theory and applications of formal argumentation = second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Modeling and verification using UML statecharts = a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by:
(書目-語言資料,印刷品)
Formal methods applied to complex systems DUP_1 = implementation of the B Method /
by:
(書目-語言資料,印刷品)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2013 /
by:
(書目-語言資料,印刷品)
Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2014 /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods: foundations and applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
(書目-語言資料,印刷品)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 /
by:
(書目-語言資料,印刷品)
NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 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:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude /
by:
(書目-語言資料,印刷品)
Concise guide to formal methods = theory, fundamentals and industry applications /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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 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:
(書目-語言資料,印刷品)
Integrated formal methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Symposium on real-time and hybrid systems = essays 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:
(書目-語言資料,印刷品)
Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : 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 in computer-aided design = 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題