Completeness and Decidability of a Fragment of Duration Calculus with Iteration
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Checking temporal duration properties of timed automata
Journal of Computer Science and Technology
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
A theory of duration calculus with application
Domain modeling and the duration calculus
Verifying linear duration constraints of timed automata
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
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 |