Formal methods (Computer science)
Overview
| Works: | 81 works in 73 publications in 73 languages | |
|---|---|---|
Titles
Modeling and verification using UML statecharts :a working guide to reactive system design, runtime monitoring and execution-based model checking /
by:
(Language materials, printed)
System specification and design languages[electronic resource] :selected contributions from FDL 2010 /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Language materials, printed)
Foundations of algebraic specification and formal software development[electronic resource] /
by:
(Language materials, printed)
Transactions on computational science XV[electronic resource] :special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems /
by:
(Language materials, printed)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Theory and applications of formal argumentation[electronic resource] :first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011 : revised selected papers /
by:
(Language materials, printed)
Web services and formal methods[electronic resource] :8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers /
by:
(Language materials, printed)
Fuzzy computational ontologies in contexts[electronic resource] :formal models of knowledge representation with membership degree and typicality of objects, and their applications /
by:
(Language materials, printed)
The correctness-by-construction approach to programming[electronic resource] /
by:
(Language materials, printed)
Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(Language materials, printed)
Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Language materials, printed)
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering[electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(Language materials, printed)
Teamwork in multi-agent systems[electronic resource] :a formal approach /
by:
(Language materials, printed)
Formal ontology in information systems[electronic resource] :proceedings of the seventh International Conference (FOIS 2012) /
by:
(Language materials, printed)
ABZ 2014[electronic resource] :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:
(Language materials, printed)
Formal methods for executable software models[electronic resource] :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:
(Language materials, printed)
Formal techniques for distributed objects, components, and systems[electronic resource] :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:
(Language materials, printed)
Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Language materials, printed)
Formal concept analysis[electronic resource] :12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
by:
(Language materials, printed)
Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
by:
(Language materials, printed)
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
(Language materials, printed)
Formal grammar[electronic resource] :19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings /
by:
(Language materials, printed)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2013 /
by:
(Language materials, printed)
Formal methods[electronic resource] :foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
(Language materials, printed)
Structured object-oriented formal language and method[electronic resource] :third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Language materials, printed)
Theory and applications of formal argumentation[electronic resource] :second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers /
by:
(Language materials, printed)
Software Engineering and Formal Methods[electronic resource] :SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /
by:
(Language materials, printed)
Formal methods for industrial critical systems[electronic resource] :a survey of applications /
by:
(Language materials, printed)
Formal methods applied to complex systems[electronic resource] :implementation of the B Method /
by:
(Language materials, printed)
Formal methods applied to industrial complex systems[electronic resource] /
by:
(Language materials, printed)
Industrial used of formal method[electronic resource] :formal verification /
by:
(Language materials, printed)
Formal methods[electronic resource] :industrial use from model to the code /
by:
(Language materials, printed)
Formal methods for multicore programming[electronic resource] :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:
(Electronic resources)
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
(Electronic resources)
Formal concept analysis[electronic resource] :13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings /
by:
(Electronic resources)
Formal modeling and verification of cyber-physical systems[electronic resource] :1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
by:
(Language materials, printed)
Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(Language materials, printed)
Computer performance engineering[electronic resource] :12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings /
by:
(Language materials, printed)
Correct system design[electronic resource] :symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
(Language materials, printed)
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering[electronic resource] :17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Language materials, printed)
Theory and applications of formal argumentation[electronic resource] :third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
(Language materials, printed)
Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs /
by:
(Language materials, printed)
Formal methods: foundations and applications[electronic resource] :18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings /
by:
(Language materials, printed)
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Language materials, printed)
Structured object-oriented formal language and method[electronic resource] :5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
(Language materials, printed)
Web services, formal methods, and behavioral types[electronic resource] :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:
(Language materials, printed)
Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(Language materials, printed)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2015 /
by:
(Language materials, printed)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2014 /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
(Language materials, printed)
Formal techniques for safety-critical systems[electronic resource] :4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
(Language materials, printed)
NASA formal methods[electronic resource] :8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods[electronic resource] :14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems[electronic resource] :14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(Electronic resources)
Computer performance engineering[electronic resource] :13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings /
by:
(Electronic resources)
Runtime verification[electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(Electronic resources)
Subjective logic[electronic resource] :a formalism for reasoning under uncertainty /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation[electronic resource] :foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I /
by:
(Electronic resources)
Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(Language materials, printed)
Formal methods[electronic resource] :foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification, and validation[electronic resource] :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:
(Language materials, printed)
Subjects