Introducing data decomposition into VDM for tractable development of programs
ACM SIGPLAN Notices
Theoretical Computer Science
Adding temporal annotations and associated verification to the Ravenscar profile
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Delivering real-time behaviour
Domain modeling and the duration calculus
Hi-index | 0.00 |