Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
From CSP Models to Markov Models
IEEE Transactions on Software Engineering
Theoretical Computer Science
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
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
A Complete Fragment of Higher-Order Duration µ-Calculus
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Control of Interval Temporal Systems
Hybrid Systems V
Completeness of Higher-Order Duration Calculus
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
Sharpening the Incompleteness of the Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of duration calculus with application
Domain modeling and the duration calculus
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A generic logical-temporal performance analysis method for complex systems
Mathematics and Computers in Simulation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Hi-index | 0.00 |