Computer software - Congresses. - Testing
概要
| 作品: | 31 作品在 24 項出版品 24 種語言 | |
|---|---|---|
書目資訊
Formal Approaches to Software Testing = 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : 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:
(書目-電子資源)
Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(書目-電子資源)
Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
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:
(書目-電子資源)
更多
較少的
主題