Computer software - Congresses. - Verification
概観
著作: | 51 作品に 45 出版物中に 45 言語 |
---|
タイトル
System specification and design languages[electronic resource] :selected contributions from FDL 2010 /
…で:
(言語・文字資料 (印刷物))
Verified software[electronic resource] :theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Verification, model checking, and abstract[electronic resource] :13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
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 /
…で:
(言語・文字資料 (印刷物))
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the tenth SoMeT_11 /
…で:
(言語・文字資料 (印刷物))
Software and systems safety[electronic resource] :specification and verification /
…で:
(言語・文字資料 (印刷物))
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
…で:
(言語・文字資料 (印刷物))
Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
…で:
(言語・文字資料 (印刷物))
Software safety and security[electronic resource] :tools for analysis and verification /
…で:
(言語・文字資料 (印刷物))
Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2013 /
…で:
(言語・文字資料 (印刷物))
Verification, model checking, and abstract interpretation[electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Verification, model checking, and abstract interpretation[electronic resource] :15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Verified software[electronic resource] :theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Trustworthy global computing[electronic resource] :8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
E-Voting and identity[electronic resource] :5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Model checking software[electronic resource] :22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory and applications of satisfiability testing - SAT 2015[electronic resource] :18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 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 /
…で:
(言語・文字資料 (印刷物))
Trustworthy global computing[electronic resource] :10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Theory and applications of satisfiability testing - SAT 2016[electronic resource] :19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part I /
…で:
(コンピュータ・メディア)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part II /
…で:
(コンピュータ・メディア)
Type systems for distributed programs[electronic resource] :components and sessions /
…で:
(コンピュータ・メディア)
主題