Computer software - Congresses. - Verification
概要
| 作品: | 51 作品在 45 项出版品 45 种语言 | |
|---|---|---|
书目信息
System specification and design languages[electronic resource] :selected contributions from FDL 2010 /
by:
(书目-语言数据,印刷品)
NASA formal methods[electronic resource] :4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(书目-语言数据,印刷品)
Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(书目-语言数据,印刷品)
Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(书目-语言数据,印刷品)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the tenth SoMeT_11 /
by:
(书目-语言数据,印刷品)
Software and systems safety[electronic resource] :specification and verification /
by:
(书目-语言数据,印刷品)
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(书目-语言数据,印刷品)
Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(书目-语言数据,印刷品)
Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(书目-语言数据,印刷品)
Software safety and security[electronic resource] :tools for analysis and verification /
by:
(书目-语言数据,印刷品)
Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(书目-语言数据,印刷品)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2013 /
by:
(书目-语言数据,印刷品)
Trustworthy global computing[electronic resource] :8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
(书目-语言数据,印刷品)
Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
by:
(书目-语言数据,印刷品)
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
by:
(书目-语言数据,印刷品)
E-Voting and identity[electronic resource] :5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Model checking software[electronic resource] :22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2015 /
by:
(书目-语言数据,印刷品)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2014 /
by:
(书目-语言数据,印刷品)
主题