Duration Calculus, a Logical Approach to Real-Time Systems
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Deriving Real-Time Programs from Duration Calculus Specifications
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
Axiomatisation and decidability of multi-dimensional Duration Calculus
Information and Computation
On Verification of Linear Occurrence Properties of Real-Time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A calculus for shapes in time and space
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
Linking Unifying Theories of Program refinement
Science of Computer Programming
Hi-index | 0.00 |