Timed Automata: Semantics, Algorithms and Tools-Reference-Cited by-同舟云学术

Timed Automata: Semantics, Algorithms and Tools

Published:2004 Issue: Volume: Page:87-124
ISSN:0302-9743
Container-title:Lectures on Concurrency and Petri Nets
language:
Short-container-title:

Author:

Bengtsson Johan,Yi Wang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27755-2_3.pdf

Reference50 articles.

1. Lecture Notes in Computer Science;L. Aceto,1998

2. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking for real-time systems. In: Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, pp. 414–425. IEEE Computer Society Press, Los Alamitos (1990)

3. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Journal of Information and Computation 104(1), 2–34 (1993)

4. Lecture Notes in Computer Science;R. Alur,1994

5. Lecture Notes in Computer Science;R. Alur,1990

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

1. A model-based approach for formal verification and performance evaluation of energy harvesting architectures in IoT systems: A case study of a long-term healthcare application;Simulation Modelling Practice and Theory;2024-11

2. The Opacity of Timed Automata;Lecture Notes in Computer Science;2024-09-11

3. Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems;Expert Systems with Applications;2024-08

4. Timed Automata-Based Strategy for Controlling Drone Access to Critical Zones: A UPPAAL Modeling Approach;Electronics;2024-07-03

5. Simulations for Event-Clock Automata;Logical Methods in Computer Science;2024-07-02