TRIO, a logic formalism for the specification of real-time systems
- 13 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- On the specification of real-time systems using logic programmingPublished by Springer Nature ,2005
- Temporal Logic of ProgramsPublished by Springer Nature ,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
- The temporal logic of branching timeActa Informatica, 1983
- Temporal logic can be more expressiveInformation and Control, 1983
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981
- Toward a discipline of real-time programmingCommunications of the ACM, 1977
- Temporal LogicPublished by Springer Nature ,1971
- First-Order LogicPublished by Springer Nature ,1968