Searching for "Temporal logics for real-time system specification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

The Way to Go: Multi-Level Temporal Logics
by Angelo Montanari, Adriano Peron, Alberto Policriti — 1999 — Proceedings of IWTS'99: 1st International Workshop on Specification and Verification of Timed Systems, N. Yonezaki (Ed.) Kyoto Research Institute of Mathematical Science
… to a metric temporal logic for real-time system specification enhances its modularity, abstraction…
Cited by 4 (1 self) – Add To MetaCart

666 BIBLIOGRAPHY
by M. Abadi, Z. Manna, Nonclausal Temporal, Deduction Lecture Notes, S. Abiteboul, S. Grumbach, A Logic-based, Language Complex
…. Bellini, R. Mattolini, and P. Nesi. Temporal Logics for Real-Time System Specification. ACM Computing…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB