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^*

^*Corresponding author for this work

Uppsala University

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

85 Scopus citations

Original language	English
Title of host publication	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.
Editors	Joost-Pieter Katoen, Perdita Stevens
Publisher	Springer Verlag
Pages	460-464
Number of pages	5
ISBN (Print)	3540434194, 9783540434191
DOIs	https://doi.org/10.1007/3-540-46002-0_32
State	Published - 2002
Externally published	Yes
Event	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, France Duration: 8 Apr 2002 → 12 Apr 2002

Publication series

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

Conference

Conference	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
Country/Territory	France
City	Grenoble
Period	8/04/02 → 12/04/02

Access to Document

10.1007/3-540-46002-0_32

Cite this

Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., & Yi, W. (2002). TIMES - A tool for modelling and implementation of embedded systems. In J.-P. Katoen, & P. Stevens (Eds.), 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. (pp. 460-464). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2280 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-46002-0_32

Amnell, Tobias ; Fersman, Elena ; Mokrushin, Leonid et al. / 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.. editor / Joost-Pieter Katoen ; Perdita Stevens. Springer Verlag, 2002. pp. 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. in J-P Katoen & P Stevens (eds), 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), vol. 2280 LNCS, Springer Verlag, pp. 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, France, 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 et al.
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.. ed. / Joost-Pieter Katoen; Perdita Stevens. Springer Verlag, 2002. p. 460-464 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2280 LNCS).

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

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. In Katoen JP, Stevens P, editors, 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. p. 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

TIMES - A tool for modelling and implementation of embedded systems

Publication series

Conference

Access to Document

Other files and links

Cite this