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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Dependable Software Engineering
Subtitle of host publication	Theories, Tools, and Applications - 1st International Symposium, SETTA 2015, Proceedings
Editors	Xuandong Li, Zhiming Liu, Wang Yi
Publisher	Springer Verlag
ISBN (Print)	9783319259413
State	Published - 2015
Externally published	Yes
Event	1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015 - Nanjing, China Duration: 4 Nov 2015 → 6 Nov 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9409
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015
Country/Territory	China
City	Nanjing
Period	4/11/15 → 6/11/15

Cite this

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. In X. Li, Z. Liu, & W. Yi (Eds.), 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); Vol. 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. editor / 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. in X Li, Z Liu & W Yi (eds), 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), vol. 9409, Springer Verlag, 1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, Nanjing, China, 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. ed. / 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); Vol. 9409).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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. In Li X, Liu Z, Yi W, editors, 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)).

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

Publication series

Conference

Other files and links

Cite this