A behavioral model for co-design

He Jifeng

doi:10.1007/3-540-48118-4_25

A behavioral model for co-design

He Jifeng^*

^*Corresponding author for this work

United Nations University Institute in Macau

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

9 Scopus citations

Original language	English
Title of host publication	FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings
Editors	Jeannette M. Wing, Jim Woodcock, Jim Davies
Publisher	Springer Verlag
Pages	1420-1438
Number of pages	19
ISBN (Print)	3540665889, 9783540665885
DOIs	https://doi.org/10.1007/3-540-48118-4_25
State	Published - 1999
Externally published	Yes
Event	1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999 - Toulouse, France Duration: 20 Aug 1999 → 24 Aug 1999

Publication series

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

Conference

Conference	1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999
Country/Territory	France
City	Toulouse
Period	20/08/99 → 24/08/99

Access to Document

10.1007/3-540-48118-4_25

Cite this

Jifeng, H. (1999). A behavioral model for co-design. In J. M. Wing, J. Woodcock, & J. Davies (Eds.), FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings (pp. 1420-1438). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1709). Springer Verlag. https://doi.org/10.1007/3-540-48118-4_25

Jifeng, He. / A behavioral model for co-design. FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. editor / Jeannette M. Wing ; Jim Woodcock ; Jim Davies. Springer Verlag, 1999. pp. 1420-1438 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5f83cf65ea4942649c82032f2560d511,

title = "A behavioral model for co-design",

author = "He Jifeng",

year = "1999",

doi = "10.1007/3-540-48118-4\_25",

language = "英语",

isbn = "3540665889",

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

publisher = "Springer Verlag",

pages = "1420--1438",

editor = "Wing, \{Jeannette M.\} and Jim Woodcock and Jim Davies",

booktitle = "FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings",

address = "德国",

note = "1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999 ; Conference date: 20-08-1999 Through 24-08-1999",

}

Jifeng, H 1999, A behavioral model for co-design. in JM Wing, J Woodcock & J Davies (eds), FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1709, Springer Verlag, pp. 1420-1438, 1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999, Toulouse, France, 20/08/99. https://doi.org/10.1007/3-540-48118-4_25

A behavioral model for co-design. / Jifeng, He.
FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. ed. / Jeannette M. Wing; Jim Woodcock; Jim Davies. Springer Verlag, 1999. p. 1420-1438 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1709).

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

TY - GEN

T1 - A behavioral model for co-design

AU - Jifeng, He

PY - 1999

Y1 - 1999

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

U2 - 10.1007/3-540-48118-4_25

DO - 10.1007/3-540-48118-4_25

M3 - 会议稿件

AN - SCOPUS:35248885340

SN - 3540665889

SN - 9783540665885

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

SP - 1420

EP - 1438

BT - FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings

A2 - Wing, Jeannette M.

A2 - Woodcock, Jim

A2 - Davies, Jim

PB - Springer Verlag

T2 - 1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999

Y2 - 20 August 1999 through 24 August 1999

ER -

Jifeng H. A behavioral model for co-design. In Wing JM, Woodcock J, Davies J, editors, FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. Springer Verlag. 1999. p. 1420-1438. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-48118-4_25

A behavioral model for co-design

Publication series

Conference

Access to Document

Other files and links

Cite this