A behavioral model for co-design

He Jifeng

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

A behavioral model for co-design

He Jifeng^*

^*此作品的通讯作者

United Nations University Institute in Macau

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

9 引用（Scopus）

源语言	英语
主期刊名	FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings
编辑	Jeannette M. Wing, Jim Woodcock, Jim Davies
出版商	Springer Verlag
页	1420-1438
页数	19
ISBN（印刷版）	3540665889, 9783540665885
DOI	https://doi.org/10.1007/3-540-48118-4_25
出版状态	已出版 - 1999
已对外发布	是
活动	1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999 - Toulouse, 法国期限: 20 8月 1999 → 24 8月 1999

出版系列

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

会议

会议	1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999
国家/地区	法国
市	Toulouse
时期	20/08/99 → 24/08/99

访问文件

10.1007/3-540-48118-4_25

其它文件与链接

链接到 Scopus 的出版物

引用此

Jifeng, H. (1999). A behavioral model for co-design. 在 J. M. Wing, J. Woodcock, & J. Davies (编辑), FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings (页码 1420-1438). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 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. 编辑 / Jeannette M. Wing ; Jim Woodcock ; Jim Davies. Springer Verlag, 1999. 页码 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. 在 JM Wing, J Woodcock & J Davies (编辑), 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), 卷 1709, Springer Verlag, 页码 1420-1438, 1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999, Toulouse, 法国, 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. 编辑 / Jeannette M. Wing; Jim Woodcock; Jim Davies. Springer Verlag, 1999. 页码 1420-1438 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 1709).

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

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. 在 Wing JM, Woodcock J, Davies J, 编辑, FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. Springer Verlag. 1999. 页码 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