TRIO: A logic language for executable specifications of real-time systems
- 31 May 1990
- journal article
- Published by Elsevier BV in Journal of Systems and Software
- Vol. 12 (2), 107-123
- https://doi.org/10.1016/0164-1212(90)90074-v
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Proving precedence properties: The temporal wayPublished by Springer Science and Business Media LLC ,2006
- Up and Down The Temporal WayThe Computer Journal, 1987
- Temporal Logic of ProgramsPublished by Springer Science and Business Media LLC ,1987
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- RT-ASLAN: A specification language for real-time systemsIEEE Transactions on Software Engineering, 1986
- Examples of a real-time temporal logic specificationPublished by Springer Science and Business Media LLC ,1985
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Toward a discipline of real-time programmingCommunications of the ACM, 1977