A hybrid model of connectors in cyber-physical systems

Xiaohong Chen; Jun Sun; Meng Sun

doi:10.1007/978-3-319-11737-9_5

A hybrid model of connectors in cyber-physical systems

Xiaohong Chen^*, Jun Sun, Meng Sun

^*Corresponding author for this work

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

6 Citations (Scopus)

Original language	English
Title of host publication	Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings
Editors	Stephan Merz, Jun Pang
Publisher	Springer Verlag
Pages	59-74
Number of pages	16
ISBN (Electronic)	9783319117362
DOIs	https://doi.org/10.1007/978-3-319-11737-9_5
Publication status	Published (VoR) - 2014
Event	16th International Conference on Formal Engineering Methods, ICFEM 2014 - Luxembourg, Luxembourg Duration: 3 Nov 2014 → 5 Nov 2014

Publication series

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

Conference

Conference	16th International Conference on Formal Engineering Methods, ICFEM 2014
Country/Territory	Luxembourg
City	Luxembourg
Period	3/11/14 → 5/11/14

Access to Document

10.1007/978-3-319-11737-9_5

Cite this

Chen, X., Sun, J., & Sun, M. (2014). A hybrid model of connectors in cyber-physical systems. In S. Merz, & J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings (pp. 59-74). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8829). Springer Verlag. https://doi.org/10.1007/978-3-319-11737-9_5

Chen, Xiaohong ; Sun, Jun ; Sun, Meng. / A hybrid model of connectors in cyber-physical systems. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings. editor / Stephan Merz ; Jun Pang. Springer Verlag, 2014. pp. 59-74 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{31e6ed61a15446b5932e5f05023e0ff4,

title = "A hybrid model of connectors in cyber-physical systems",

author = "Xiaohong Chen and Jun Sun and Meng Sun",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2014.; 16th International Conference on Formal Engineering Methods, ICFEM 2014 ; Conference date: 03-11-2014 Through 05-11-2014",

year = "2014",

doi = "10.1007/978-3-319-11737-9_5",

language = "English",

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

publisher = "Springer Verlag",

pages = "59--74",

editor = "Stephan Merz and Jun Pang",

booktitle = "Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings",

}

Chen, X, Sun, J & Sun, M 2014, A hybrid model of connectors in cyber-physical systems. in S Merz & J Pang (eds), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8829, Springer Verlag, pp. 59-74, 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, 3/11/14. https://doi.org/10.1007/978-3-319-11737-9_5

A hybrid model of connectors in cyber-physical systems. / Chen, Xiaohong; Sun, Jun; Sun, Meng.
Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings. ed. / Stephan Merz; Jun Pang. Springer Verlag, 2014. p. 59-74 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8829).

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

TY - GEN

T1 - A hybrid model of connectors in cyber-physical systems

AU - Chen, Xiaohong

AU - Sun, Jun

AU - Sun, Meng

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2014.

PY - 2014

Y1 - 2014

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

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

U2 - 10.1007/978-3-319-11737-9_5

DO - 10.1007/978-3-319-11737-9_5

M3 - Conference contribution

AN - SCOPUS:84908703498

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

SP - 59

EP - 74

BT - Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings

A2 - Merz, Stephan

A2 - Pang, Jun

PB - Springer Verlag

T2 - 16th International Conference on Formal Engineering Methods, ICFEM 2014

Y2 - 3 November 2014 through 5 November 2014

ER -

Chen X, Sun J, Sun M. A hybrid model of connectors in cyber-physical systems. In Merz S, Pang J, editors, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings. Springer Verlag. 2014. p. 59-74. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-11737-9_5

A hybrid model of connectors in cyber-physical systems

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this