Formal methods (Computer science)
概観
| 著作: | 81 作品に 73 出版物中に 73 言語 | |
|---|---|---|
タイトル
Modeling and verification using UML statecharts :a working guide to reactive system design, runtime monitoring and execution-based model checking /
…で:
(言語・文字資料 (印刷物))
System specification and design languages[electronic resource] :selected contributions from FDL 2010 /
…で:
(言語・文字資料 (印刷物))
Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Foundations of algebraic specification and formal software development[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Transactions on computational science XV[electronic resource] :special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems /
…で:
(言語・文字資料 (印刷物))
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory and applications of formal argumentation[electronic resource] :first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Web services and formal methods[electronic resource] :8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
…で:
(言語・文字資料 (印刷物))
Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Formal ontology in information systems[electronic resource] :proceedings of the seventh International Conference (FOIS 2012) /
…で:
(言語・文字資料 (印刷物))
Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal concept analysis[electronic resource] :12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Web services and formal methods[electronic resource] :10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal grammar[electronic resource] :19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2013 /
…で:
(言語・文字資料 (印刷物))
Formal methods[electronic resource] :foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Theory and applications of formal argumentation[electronic resource] :second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Formal methods for industrial critical systems[electronic resource] :a survey of applications /
…で:
(言語・文字資料 (印刷物))
Formal methods applied to complex systems[electronic resource] :implementation of the B Method /
…で:
(言語・文字資料 (印刷物))
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
…で:
(コンピュータ・メディア)
Formal concept analysis[electronic resource] :13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings /
…で:
(コンピュータ・メディア)
Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computer performance engineering[electronic resource] :12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Theory and applications of formal argumentation[electronic resource] :third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs /
…で:
(言語・文字資料 (印刷物))
Formal methods: foundations and applications[electronic resource] :18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Structured object-oriented formal language and method[electronic resource] :5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2015 /
…で:
(言語・文字資料 (印刷物))
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2014 /
…で:
(言語・文字資料 (印刷物))
Formal aspects of component software[electronic resource] :12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Formal techniques for safety-critical systems[electronic resource] :4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
NASA formal methods[electronic resource] :8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Computer performance engineering[electronic resource] :13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Runtime verification[electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Subjective logic[electronic resource] :a formalism for reasoning under uncertainty /
…で:
(コンピュータ・メディア)
FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
主題