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
Duration Properties over Real Time System Designs
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
On Verification of Linear Occurrence Properties of Real-Time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Linear Duration Invariants by Model Checking CTL Properties
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
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
Model checking linear duration invariants of networks of automata
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Bounded model-checking of discrete duration calculus
Proceedings of the 16th international conference on Hybrid systems: computation and control
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 |