Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Take It NP-Easy: Bounded Model Construction for Duration Calculus
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Constructing Test Automata from Graphical Real-Time Requirements
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Control of Interval Temporal Systems
Hybrid Systems V
"What is a method?": an essay on some aspects of domain engineering
Programming methodology
Induction in the timed interval calculus
Theoretical Computer Science
A functional reactive animation of a lift using Fran
Journal of Functional Programming
Human-Computer Interaction
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Hi-index | 0.00 |