TIMES - A tool for modelling and implementation of embedded systems

Tobias Amnell; Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi

doi:10.1007/3-540-46002-0_32

TIMES - A tool for modelling and implementation of embedded systems

Tobias Amnell
, Elena Fersman
, Leonid Mokrushin
, Paul Pettersson
, Wang Yi^*

^*此作品的通讯作者

Uppsala University

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

85 引用（Scopus）

源语言	英语
主期刊名	Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.
编辑	Joost-Pieter Katoen, Perdita Stevens
出版商	Springer Verlag
页	460-464
页数	5
ISBN（印刷版）	3540434194, 9783540434191
DOI	https://doi.org/10.1007/3-540-46002-0_32
出版状态	已出版 - 2002
已对外发布	是
活动	8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings - Grenoble, 法国期限: 8 4月 2002 → 12 4月 2002

出版系列

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

会议

会议	8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings
国家/地区	法国
市	Grenoble
时期	8/04/02 → 12/04/02

访问文件

10.1007/3-540-46002-0_32

其它文件与链接

链接到 Scopus 的出版物

引用此

Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., & Yi, W. (2002). TIMES - A tool for modelling and implementation of embedded systems. 在 J.-P. Katoen, & P. Stevens (编辑), Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc. (页码 460-464). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 2280 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-46002-0_32

Amnell, Tobias ; Fersman, Elena ; Mokrushin, Leonid 等. / TIMES - A tool for modelling and implementation of embedded systems. Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.. 编辑 / Joost-Pieter Katoen ; Perdita Stevens. Springer Verlag, 2002. 页码 460-464 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{24fcdbfef9c64fd0adb78f5a76c0ee88,

title = "TIMES - A tool for modelling and implementation of embedded systems",

author = "Tobias Amnell and Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi",

year = "2002",

doi = "10.1007/3-540-46002-0\_32",

language = "英语",

isbn = "3540434194",

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

publisher = "Springer Verlag",

pages = "460--464",

editor = "Joost-Pieter Katoen and Perdita Stevens",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.",

address = "德国",

note = "8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings ; Conference date: 08-04-2002 Through 12-04-2002",

}

Amnell, T, Fersman, E, Mokrushin, L, Pettersson, P & Yi, W 2002, TIMES - A tool for modelling and implementation of embedded systems. 在 J-P Katoen & P Stevens (编辑), Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 卷 2280 LNCS, Springer Verlag, 页码 460-464, 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings, Grenoble, 法国, 8/04/02. https://doi.org/10.1007/3-540-46002-0_32

TIMES - A tool for modelling and implementation of embedded systems. / Amnell, Tobias; Fersman, Elena; Mokrushin, Leonid 等.
Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.. 编辑 / Joost-Pieter Katoen; Perdita Stevens. Springer Verlag, 2002. 页码 460-464 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 2280 LNCS).

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

TY - GEN

T1 - TIMES - A tool for modelling and implementation of embedded systems

AU - Amnell, Tobias

AU - Fersman, Elena

AU - Mokrushin, Leonid

AU - Pettersson, Paul

AU - Yi, Wang

PY - 2002

Y1 - 2002

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

U2 - 10.1007/3-540-46002-0_32

DO - 10.1007/3-540-46002-0_32

M3 - 会议稿件

AN - SCOPUS:84871800342

SN - 3540434194

SN - 9783540434191

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

SP - 460

EP - 464

BT - Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.

A2 - Katoen, Joost-Pieter

A2 - Stevens, Perdita

PB - Springer Verlag

T2 - 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings

Y2 - 8 April 2002 through 12 April 2002

ER -

Amnell T, Fersman E, Mokrushin L, Pettersson P, Yi W. TIMES - A tool for modelling and implementation of embedded systems. 在 Katoen JP, Stevens P, 编辑, Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.. Springer Verlag. 2002. 页码 460-464. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-46002-0_32