Preface

José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue

doi:10.1007/978-3-319-07602-7

Preface

José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue

Science and Engineering Office

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

Original language	English
Title of host publication	Formal Aspects of Component Software
Subtitle of host publication	10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Editors	José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
Publisher	Springer
Number of pages	1
Volume	8348 LNCS
ISBN (Electronic)	978-3-319-07602-7
ISBN (Print)	978-3-319-07601-0
DOIs	https://doi.org/10.1007/978-3-319-07602-7
Publication status	Published - Jan 2014
Event	10th International Symposium on Formal Aspects of Component Software, FACS 2013 - Nanchang, China Duration: 27 Oct 2013 → 29 Oct 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
ISSN (Print)	0302-9743

Conference

Conference	10th International Symposium on Formal Aspects of Component Software, FACS 2013
Country/Territory	China
City	Nanchang
Period	27/10/13 → 29/10/13

Keywords

distributed systems
e-commerce
formal software verification
model-driven software engineering
software architecture

ASJC Scopus subject areas

General Computer Science
Theoretical Computer Science

Access to Document

10.1007/978-3-319-07602-7

Cite this

Fiadeiro, J. L., Liu, Z., & Xue, J. (2014). Preface. In J. L. Fiadeiro, Z. Liu, & J. Xue (Eds.), Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Vol. 8348 LNCS). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Springer . https://doi.org/10.1007/978-3-319-07602-7

Fiadeiro, José Luiz ; Liu, Zhiming ; Xue, Jinyun. / Preface. Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. editor / José Luiz Fiadeiro ; Zhiming Liu ; Jinyun Xue. Vol. 8348 LNCS Springer , 2014. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a66d7413ba154df790d23796f6aa73fd,

title = "Preface",

keywords = "distributed systems, e-commerce, formal software verification, model-driven software engineering, software architecture",

author = "Fiadeiro, {Jos{\'e} Luiz} and Zhiming Liu and Jinyun Xue",

year = "2014",

month = jan,

doi = "10.1007/978-3-319-07602-7",

language = "English",

isbn = "978-3-319-07601-0",

volume = "8348 LNCS",

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

publisher = "Springer ",

editor = "Fiadeiro, {Jos{\'e} Luiz } and Liu, {Zhiming } and Xue, {Jinyun }",

booktitle = "Formal Aspects of Component Software",

note = "10th International Symposium on Formal Aspects of Component Software, FACS 2013 ; Conference date: 27-10-2013 Through 29-10-2013",

}

Fiadeiro, JL, Liu, Z & Xue, J 2014, Preface. in JL Fiadeiro, Z Liu & J Xue (eds), Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. vol. 8348 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer , 10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, 27/10/13. https://doi.org/10.1007/978-3-319-07602-7

Preface. / Fiadeiro, José Luiz; Liu, Zhiming; Xue, Jinyun.
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. ed. / José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue. Vol. 8348 LNCS Springer , 2014. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

TY - GEN

T1 - Preface

AU - Fiadeiro, José Luiz

AU - Liu, Zhiming

AU - Xue, Jinyun

PY - 2014/1

Y1 - 2014/1

KW - distributed systems

KW - e-commerce

KW - formal software verification

KW - model-driven software engineering

KW - software architecture

UR - http://www.scopus.com/inward/record.url?scp=84903648678&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-07602-7

DO - 10.1007/978-3-319-07602-7

M3 - Conference contribution

AN - SCOPUS:84903648678

SN - 978-3-319-07601-0

VL - 8348 LNCS

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

BT - Formal Aspects of Component Software

A2 - Fiadeiro, José Luiz

A2 - Liu, Zhiming

A2 - Xue, Jinyun

PB - Springer

T2 - 10th International Symposium on Formal Aspects of Component Software, FACS 2013

Y2 - 27 October 2013 through 29 October 2013

ER -

Fiadeiro JL, Liu Z, Xue J. Preface. In Fiadeiro JL, Liu Z, Xue J, editors, Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Vol. 8348 LNCS. Springer . 2014. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-07602-7

Preface

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this