Computer software - Congresses. - Testing
概観
| 著作: | 13 作品に 13 出版物中に 13 言語 | |
|---|---|---|
タイトル
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 /
…で:
(言語・文字資料 (印刷物))
Testing software and systems[electronic resource] :24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Future internet testing[electronic resource] :first International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 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 /
…で:
(言語・文字資料 (印刷物))
Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-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 /
…で:
(コンピュータ・メディア)
主題