Programming from specifications
Programming from specifications
Integrating Real-Time Scheduling Theory and Program Refinement
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Interactively Verifying a Simple Real-time Scheduler
Proceedings of the 7th International Conference on Computer Aided Verification
Hi-index | 0.00 |