Formal methods (Computer science)

Scalable techniques for formal verification by: (書目-語言資料,印刷品)

Computer performance engineering = 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceedings / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / by: (書目-語言資料,印刷品)

Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday / by: (書目-語言資料,印刷品)

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

Finite-state methods and natural language processing = 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2010 = 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for components and objects = 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings / by: (書目-語言資料,印刷品)

Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings / by: (書目-語言資料,印刷品)

Formal ontology in information systems = proceedings of the sixth international conference (FOIS 2010) / 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: (書目-電子資源)

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

Formal methods = foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / 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: (書目-電子資源)

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

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

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

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

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

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

Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / 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: (書目-電子資源)

The correctness-by-construction approach to programming 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 methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-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: (書目-電子資源)

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

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

Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th 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 studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: (書目-電子資源)

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

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

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

Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : 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 concept analysis : = 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

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

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

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

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

Software Engineering and Formal Methods = SEFM 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 systems = second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Runtime verification = 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : proceedings / by: (書目-電子資源)

ABZ 2014 = the 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 models = 14th 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 systems = 34th 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 methods for industrial critical systems = 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-電子資源)

Computer performance engineering = 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = specialized 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 validation = technologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part I / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Formal methods for multicore programming = 15th 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 systems = 35th 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 2015 = formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings / by: (書目-電子資源)

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

Formal modeling and verification of cyber-physical systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / by: (書目-語言資料,印刷品)

Descriptional complexity of formal systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : 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: (書目-電子資源)

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

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

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

Software engineering and formal methods = SEFM 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 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: (書目-電子資源)

Web services, formal methods, and behavioral types = 11th 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 methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects components, and systems = 36th 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 design = selected contributions from FDL 2015 / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

Complex data analytics with formal concept analysis 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: (書目-電子資源)

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

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

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

Formal methods: foundations and applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings / 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: (書目-電子資源)

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

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

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

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