Modelling and Proof of a Tree-Structured File System in Event-B and Rodin
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
On foundation of engineering context-sensitive applications
Journal of Mobile Multimedia
Formal development of byzantine immune total order broadcast system using event-b
ICDEM'10 Proceedings of the Second international conference on Data Engineering and Management
Refinement-Based modeling of 3d nocs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Formal development of wireless sensor-actor networks
Science of Computer Programming
Hi-index | 0.00 |