Computer software - Congresses. - Verification
概要
作品: | 112 作品在 85 項出版品 85 種語言 |
---|
書目資訊
Model checking software = 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Numerical software with result verification = international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
by:
(書目-語言資料,印刷品)
Computer aided verification = 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(書目-語言資料,印刷品)
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Model checking software = 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Numerical software with result verification = international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
by:
(書目-語言資料,印刷品)
Computer aided verification = 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ;proceedings /
by:
(書目-語言資料,印刷品)
SPIN model checking and software verification = 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Model checking software = 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(書目-電子資源)
Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings /
by:
(書目-電子資源)
Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
by:
(書目-電子資源)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2016 /
by:
(書目-電子資源)
Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings /
by:
(書目-電子資源)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2018 /
by:
(書目-電子資源)
Runtime verification = 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings /
by:
(書目-電子資源)
Model checking software = 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings /
by:
(書目-電子資源)
Runtime verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020 : proceedings /
by:
(書目-電子資源)
Runtime verification = 21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
by:
(書目-電子資源)
Model checking software = 28th International Symposium, SPIN 2022, virtual event, May 21, 2022 : proceedings /
by:
(書目-電子資源)
Runtime verification = 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022 : proceedings /
by:
(書目-電子資源)
Model checking software = 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023 : proceedings /
by:
(書目-電子資源)
Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
(書目-電子資源)
Model checking software = 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題