Implementation of Timed Automata: An Issue of Semantics or Modeling?-Reference-Cited by-同舟云学术

Implementation of Timed Automata: An Issue of Semantics or Modeling?

Published:2005 Issue: Volume: Page:273-288
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Altisen Karine,Tripakis Stavros

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11603009_21.pdf

Reference21 articles.

1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)

2. Lecture Notes in Computer Science;R. Alur,1998

3. Alur, R., Ivancic, F., Kim, J., Lee, I., Sokolsky, O.: Generating embedded software from hierarchical hybrid models. In: Languages, Compilers, and Tools for Embedded Systems (LCTES 2003). ACM, New York (2003)

4. Amnell, T., Fersman, E., Pettersson, P., Yi, W., Sun, H.: Code synthesis for timed automata. Nordic J. of Computing 9(4), 269–300 (2002)

5. Lecture Notes in Computer Science;P. Caspi,2003

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Time in SCCharts;Lecture Notes in Electrical Engineering;2019-12-21

2. Robust Model Checking of Timed Automata under Clock Drifts;Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control;2017-04-13

3. Synthesis of ada code from graph-based task models;Proceedings of the Symposium on Applied Computing;2017-04-03

4. Time in cyber-physical systems;Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis;2016-10

5. Proper Timed I/O;Proceedings of the 9th ACM International on Systems and Storage Conference;2016-06-06