Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Validating real-time systems by history-checking TRIO specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Execution of TILCO Temporal Logic Specifications
ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
Communicating TILCO: A Model for Real-Time System Specification
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
TILCO-X, an Extension of TILCO Temporal Logic
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
The paper on Comments on "An Interval Logic for Real-Time System Specification” presents some remarks on the comparison examples from TILCO and other logics and some slips on the related examples. This paper gives evidence that such issues have no impact on the validity of the TILCO Theory of paper [1] and provides some further clarifications about some aspects of the comparison.