Simulation approach to provably correct hardware compilation

He Jifeng; Zheng Jianping

doi:10.1007/3-540-58468-4_172

Simulation approach to provably correct hardware compilation

He Jifeng
, Zheng Jianping

University of Oxford

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

源语言	英语
主期刊名	Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings
编辑	Hans Langmaack, Willem-Paul de Roever, Jan Vytopil, Jan Vytopil
出版商	Springer Verlag
页	336-350
页数	15
ISBN（印刷版）	9783540584681
DOI	https://doi.org/10.1007/3-540-58468-4_172
出版状态	已出版 - 1994
已对外发布	是
活动	3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994 - Lubeck, 德国期限: 19 9月 1994 → 23 9月 1994

出版系列

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

会议

会议	3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994
国家/地区	德国
市	Lubeck
时期	19/09/94 → 23/09/94

访问文件

10.1007/3-540-58468-4_172

其它文件与链接

链接到 Scopus 的出版物

引用此

Jifeng, H., & Jianping, Z. (1994). Simulation approach to provably correct hardware compilation. 在 H. Langmaack, W.-P. de Roever, J. Vytopil, & J. Vytopil (编辑), Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings (页码 336-350). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 863 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-58468-4_172

Jifeng, He ; Jianping, Zheng. / Simulation approach to provably correct hardware compilation. Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings. 编辑 / Hans Langmaack ; Willem-Paul de Roever ; Jan Vytopil ; Jan Vytopil. Springer Verlag, 1994. 页码 336-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{64e58d6e86cf42559305bb7650b635ae,

title = "Simulation approach to provably correct hardware compilation",

author = "He Jifeng and Zheng Jianping",

year = "1994",

doi = "10.1007/3-540-58468-4\_172",

language = "英语",

isbn = "9783540584681",

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

publisher = "Springer Verlag",

pages = "336--350",

editor = "Hans Langmaack and \{de Roever\}, Willem-Paul and Jan Vytopil and Jan Vytopil",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings",

address = "德国",

note = "3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994 ; Conference date: 19-09-1994 Through 23-09-1994",

}

Jifeng, H & Jianping, Z 1994, Simulation approach to provably correct hardware compilation. 在 H Langmaack, W-P de Roever, J Vytopil & J Vytopil (编辑), Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 卷 863 LNCS, Springer Verlag, 页码 336-350, 3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994, Lubeck, 德国, 19/09/94. https://doi.org/10.1007/3-540-58468-4_172

Simulation approach to provably correct hardware compilation. / Jifeng, He; Jianping, Zheng.
Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings. 编辑 / Hans Langmaack; Willem-Paul de Roever; Jan Vytopil; Jan Vytopil. Springer Verlag, 1994. 页码 336-350 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 863 LNCS).

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

TY - GEN

T1 - Simulation approach to provably correct hardware compilation

AU - Jifeng, He

AU - Jianping, Zheng

PY - 1994

Y1 - 1994

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

U2 - 10.1007/3-540-58468-4_172

DO - 10.1007/3-540-58468-4_172

M3 - 会议稿件

AN - SCOPUS:85026884723

SN - 9783540584681

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

SP - 336

EP - 350

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings

A2 - Langmaack, Hans

A2 - de Roever, Willem-Paul

A2 - Vytopil, Jan

PB - Springer Verlag

T2 - 3rd International Symposium on Formal Techniques in Real Time and Fault Tolerance Organized Jointly with Working Group Provably Correct Systems, ProCoS 1994

Y2 - 19 September 1994 through 23 September 1994

ER -

Jifeng H, Jianping Z. Simulation approach to provably correct hardware compilation. 在 Langmaack H, de Roever WP, Vytopil J, Vytopil J, 编辑, Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings. Springer Verlag. 1994. 页码 336-350. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-58468-4_172