Specifying real-time properties with metric temporal logic-Reference-Cited by-同舟云学术

Specifying real-time properties with metric temporal logic

Published:1990-11 Issue:4 Volume:2 Page:255-299
ISSN:0922-6443
Container-title:Real-Time Systems
language:en
Short-container-title:Real-Time Syst

Author:

Koymans Ron

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modelling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/BF01995674.pdf

Reference44 articles.

1. The Programming Language Ada, Reference Manual, 1983.Lecture Notes in Computer Science, vol. 155, Berlin: Springer.

2. Barringer, H. and Kuiper, R. 1985a. Hierarchical Development of Concurrent Systems in a Temporal Logic Framework. Proceedings of a Seminar on Concurrency, Carnegie Mellon University, Pittsburgh, pp. 35–61, July 1984;Lecture Notes in Computer Science, vol. 197, Berlin: Springer.

3. Barringer, H. and Kuiper, R. 1985b. Towards the Hierarchical Temporal Logic Specification of Concurrent Systems. In Denvir T. et al.,Lecture Notes in Computer Science, vol. 207, Berlin: Springer, pp. 156–183.

4. Barringer, H., Kuiper, R. and Pnueli, A. 1984. Now You May Compose Temporal Logic Specifications.Proceedings of the Sixteenth ACM Symposium on the Theory of Computing, pp. 51–63.

5. Barringer, H., Kuiper, R. and Pnueli, A. 1986. A Really Abstract Concurrent Model and its Temporal Logic.Proceedings of the Thirteenth ACM Symposium on the Principles of Programming Languages, pp. 173–183.

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

1. Hypothetical answers to continuous queries over data streams;ACM Transactions on Computational Logic;2024-08-17

2. A formal model-based approach to design failure-aware Internet of Things architectures;Journal of Reliable Intelligent Environments;2024-06-20

3. On the Metric Temporal Logic for Continuous Stochastic Processes;Logical Methods in Computer Science;2024-06-13

4. Elements of Timed Pattern Matching;ACM Transactions on Embedded Computing Systems;2024-06-10

5. EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27