Dependable software engineering: Theories, tools, and applications: First international symposium, SETTA 2015 Nanjing, China, november 4-6, 2015 proceedings

Xuandong Li; Zhiming Liu; Wang Yi

Dependable software engineering: Theories, tools, and applications: First international symposium, SETTA 2015 Nanjing, China, november 4-6, 2015 proceedings

Xuandong Li
, Zhiming Liu
, Wang Yi

Nanjing University
Birmingham City University
Uppsala University

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

源语言	英语
主期刊名	Dependable Software Engineering
主期刊副标题	Theories, Tools, and Applications - 1st International Symposium, SETTA 2015, Proceedings
编辑	Xuandong Li, Zhiming Liu, Wang Yi
出版商	Springer Verlag
ISBN（印刷版）	9783319259413
出版状态	已出版 - 2015
已对外发布	是
活动	1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015 - Nanjing, 中国期限: 4 11月 2015 → 6 11月 2015

出版系列

姓名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	9409
ISSN（印刷版）	0302-9743
ISSN（电子版）	1611-3349

会议

会议	1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015
国家/地区	中国
市	Nanjing
时期	4/11/15 → 6/11/15

其它文件与链接

链接到 Scopus 的出版物

引用此

Li, X., Liu, Z., & Yi, W. (2015). Dependable software engineering: Theories, tools, and applications: First international symposium, SETTA 2015 Nanjing, China, november 4-6, 2015 proceedings. 在 X. Li, Z. Liu, & W. Yi (编辑), Dependable Software Engineering: Theories, Tools, and Applications - 1st International Symposium, SETTA 2015, Proceedings (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 9409). Springer Verlag.

Li, Xuandong ; Liu, Zhiming ; Yi, Wang. / Dependable software engineering : Theories, tools, and applications: First international symposium, SETTA 2015 Nanjing, China, november 4-6, 2015 proceedings. Dependable Software Engineering: Theories, Tools, and Applications - 1st International Symposium, SETTA 2015, Proceedings. 编辑 / Xuandong Li ; Zhiming Liu ; Wang Yi. Springer Verlag, 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6241eb815f8e4e6393cc0c42d9a0b1f3,

title = "Dependable software engineering: Theories, tools, and applications: First international symposium, SETTA 2015 Nanjing, China, november 4-6, 2015 proceedings",

author = "Xuandong Li and Zhiming Liu and Wang Yi",

year = "2015",

language = "英语",

isbn = "9783319259413",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

editor = "Xuandong Li and Zhiming Liu and Wang Yi",

booktitle = "Dependable Software Engineering",

address = "德国",

note = "1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015 ; Conference date: 04-11-2015 Through 06-11-2015",

}

Li, X, Liu, Z & Yi, W 2015, Dependable software engineering: Theories, tools, and applications: First international symposium, SETTA 2015 Nanjing, China, november 4-6, 2015 proceedings. 在 X Li, Z Liu & W Yi (编辑), Dependable Software Engineering: Theories, Tools, and Applications - 1st International Symposium, SETTA 2015, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 卷 9409, Springer Verlag, 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, Nanjing, 中国, 4/11/15.

Dependable software engineering: Theories, tools, and applications: First international symposium, SETTA 2015 Nanjing, China, november 4-6, 2015 proceedings. / Li, Xuandong; Liu, Zhiming; Yi, Wang.
Dependable Software Engineering: Theories, Tools, and Applications - 1st International Symposium, SETTA 2015, Proceedings. 编辑 / Xuandong Li; Zhiming Liu; Wang Yi. Springer Verlag, 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 9409).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

TY - GEN

T1 - Dependable software engineering

T2 - 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015

AU - Li, Xuandong

AU - Liu, Zhiming

AU - Yi, Wang

PY - 2015

Y1 - 2015

UR - https://www.scopus.com/pages/publications/84951054094

M3 - 会议稿件

AN - SCOPUS:84951054094

SN - 9783319259413

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

BT - Dependable Software Engineering

A2 - Li, Xuandong

A2 - Liu, Zhiming

A2 - Yi, Wang

PB - Springer Verlag

Y2 - 4 November 2015 through 6 November 2015

ER -

Li X, Liu Z, Yi W. Dependable software engineering: Theories, tools, and applications: First international symposium, SETTA 2015 Nanjing, China, november 4-6, 2015 proceedings. 在 Li X, Liu Z, Yi W, 编辑, Dependable Software Engineering: Theories, Tools, and Applications - 1st International Symposium, SETTA 2015, Proceedings. Springer Verlag. 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).